Tenders are invited for: Catalogue of system and software properties
The activity aims at investigating exhaustively the system properties that are associated to the avionics and software of a spacecraft. This include for example the modes management and their transition the end-to-end response time of specific behaviours performance properties dependability properties etc. The software development is shorter and shorter. A way to reduce the software life cycle is to replace tests (which happen at the end of the cycle) by verification of design (which happen earlier and can both track and avoid errors and can minimize the test effort). Design correctness is checked by verifying that the design fullfills a set of properties. An example is the real-time property that every task of the software complete before its deadline. The objective is to push this principle even earlier in the software life cycle at the level of software requirements when the system is also architectured so in the phase of system-software co-engineering. Software properties must be derived from system properties. For example an end-to-end system response time will result into a software schedulabity property. A system availability property will result into software FDIR mechanisms that must have a particular behaviour. A system performance property may result in a software numerical accuracy property. The objective of the activity is : 1) to know better (and more exhaustively) what the system properties are 2) to makethe link between the system properties and the software properties 3) to understand which verification technique (generally formal methods or model checking methods) are best suited to verify the properties 4) ultimately to be able to focus the future R&D investment on only the needed verification techniques. Following the ADCSS round table on Formal method it appeared that the use of formalmethod was appropriate to verify system and software properties. However it was difficult to select which formal methods should bepicked up and industrialized because it was not clear the kind of system properties that were more frequently used. The activity includes: - Taxonomy of system and software properties to verify throughout the development life cycle (from early stages up to implementation) - selection of the appropriate formal methods to be used for the verification of system and software properties - small demonstration of the use of the selected methods - R&D plan for formal methods industrialisation and/or integration in the architectural models.
Price Range: 200-500 keuro
Tender documents : T20499995.html
Most Popular Stories
- Photo ID Required for Unemployment Benefits
- Software Writers Sought in Indiana
- Ukraine Crisis Limits Losses in Gold, Silver
- Can GOP Dodge Immigration Bullet?
- Tech Firms to Increase Hiring for 4th Year in a Row
- Job Fair for S.C. Grads
- How Past Mistakes Will Drive Ukraine's Future
- Chiquita, Fyffes to Form Top Banana
- Millennials Favor Saving Over Investing: UBS
- Big Earthquake Rumbles Northern California