je.st
news
Software and Validation Engineer
2013-09-09 11:36:25| Space-careers.com Jobs RSS
HE Space is a successful international space company. For over 30 years, we have been supporting our customers with qualified experts in the field of engineering, science and administration. We are currently looking for a Software and Validation Engineer to support our customer in the Netherlands. Software and Validation Engineer Key Tasks and Responsibilities As part of the Software Engineering team at The Directorate of Quality and Management DTEC, you will have the following responsibilities Support to the Galileo project for the SDL modelling of the FDIR and other functions such as monitoring, mode management for the interfacing of SDL models with Simulink models, either onboard AOCS models or external simulator models Potentially use of the OMEGA profile on Rhapsody to support verification of models coming from industry Potential support to Proba project for SDL modelling of part of the onboard software Support to the setup of a system software coengineering environment and demonstrator in the ESTEC laboratory of the Software Engineering and Standardisation section, which includes various modelling tools Taste i.e. assert editor, UMLRhapsody, ObjectGeode or PragmaDev SDL, MatlabSimulink, Stateflow, etc and associated autocode generators. The network of PCs used to model and generate the software will be connected to Leon Sparc boards where the installed middleware will receive the generated codes. The person selected will support the development and integration of the demonstrator from elements developed inhouse or from industrial contracts, with a focus on the functional modelling aspect. The result will be a demonstrator that will be shown to ESA and industry projects, and an environment supported by a process and user manual for future project support, in terms of requirement modelling and verification, and software prototyping The longterm objective is to contribute to the development of realistic spacecraft software, based on all the sections technologies models, hard real time, reference architecture validated on the Avionics Test Bench of the Division laboratory. A next step could be in the future to fly it on a small spacecraftcubesatpayload Skills Experience You will have the following qualifications and relevant experience Degree in computer science, software engineering or equivalent Knowledge of realtime embedded systems is necessary Practical experience of realtime software, design methods, cross compilers GNU, programming languages C and Ada, operating system e.g. RTEMS Knowledge of the modelling languages SDL, Simulink and ASN.1 is necessary Knowledge of formal verification techniques and in particular model checking, observer, test scenario generation, verification of scenario is necessary Knowledge of the Assert toolset www.assertonline.net and more specifically of its evolution called TASTE www.semantix.grassert is necessary Experience in automatic generation of test cases is an important asset Knowledge in space onboard software is an important asset, in particular the FDIR function and the mode management Knowledge in software architecture, component model, communication middleware all for embedded is an asset Knowledge of the space processors Leon, i.e. sparc architecture is interesting Experience in systemsoftware requirements, tradeoff, modelling of embedded systems is interesting Knowledge in software standards is interesting Fluency in English is mandatory, knowledge of another European language is an advantage. This job is located in Noordwijk, the Netherlands. We are looking for candidates who are available from November 2013 or as soon as possible thereafter. If you think you have what it takes for this job, please send us your CV together with a letter of motivation both in English and in Word to Ms Karina Specht, quoting job reference NLSC2089 before 01Oct13. An exciting and dynamic international working environment awaits you!
Tags: software
engineer
validation
software validation
Category:Transportation and Logistics
Latest from this category |
All news |
||||||||||||||||||
|
|||||||||||||||||||