<body onLoad="window.defaultStatus='Welcome!. You are in my weblog.';return true"><script type="text/javascript"> function setAttributeOnload(object, attribute, val) { if(window.addEventListener) { window.addEventListener('load', function(){ object[attribute] = val; }, false); } else { window.attachEvent('onload', function(){ object[attribute] = val; }); } } </script> <div id="navbar-iframe-container"></div> <script type="text/javascript" src="https://apis.google.com/js/platform.js"></script> <script type="text/javascript"> gapi.load("gapi.iframes:gapi.iframes.style.bubble", function() { if (gapi.iframes && gapi.iframes.getContext) { gapi.iframes.getContext().openChild({ url: 'https://www.blogger.com/navbar/9550158?origin\x3dhttps://www.txemaromero.com', where: document.getElementById("navbar-iframe-container"), id: "navbar-iframe" }); } }); </script>

Monday, September 27, 2010

Lunar lander project

Altran Praxis announced that its SPARK language has been selected by a new, NASA-funded US lunar mission. SPARK will be used to develop the software behind a CubeSat project. A CubeSat is a miniaturised satellite with dimensions of 10x10x10cm which can be doubled or tripled in length. Its combination of size and standardised components make it a much cheaper method of space research than traditional satellites. SPARK is a high level programming language and toolset designed to support the development of software where correct operation is vital, for example in safety, security or other "must work" applications. SPARK was adopted for the CubeSat project because of Vermont Technical College's experience in using SPARK and the related Ada programming language in developing mission critical control systems for a project to create Arctic sea ice monitoring buoys.

posted by Txema @ 9:20 pm