Objective Software is ubiquitous in the world we live in today, enabling the successful operation of systems ranging from every day appliances like microwave ovens, to complex mission critical systems like financial transaction management systems, fly-by-wire and drive-by-wire control systems and air traffic management. This ubiquitous use of software highlights the fact that the quality of the software is a direct determinant of the end success of the implemented system. V&V activities are crucial to the design, development and sustainment of mission-critical systems. In addition to accounting for a significant portion of both the cost and schedule aspects of the system lifecycle, V&V forms the basis for providing increased confidence in the fielded system. The high level objective of this project is to reduce the cost and schedule dimensions of mission critical systems development, while at the same time increasing confidence in the implemented system. . The approach adopted in this proposal, involves establishing traceability across pre-implementation artefacts such as the requirement specification, architecture specification and the implemented system. We will carry out fundamental research in defining formal semantics for the Advanced Architecture Description Language, and create algorithms to support specification based test case generation. The project will expand the theory base, and support active transfer of knowledge to Industry. Fields of science natural sciencescomputer and information sciencessoftwareengineering and technologymechanical engineeringvehicle engineeringautomotive engineeringdrive by wire Keywords Computer engineering Software technology formal methods mission-critical systems specification languages specification-based testing traceability verification and validation Programme(s) FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Topic(s) PEOPLE-2007-4-3.IRG - Marie Curie Action: "International Reintegration Grants" Call for proposal FP7-PEOPLE-2007-4-3-IRG See other projects for this call Funding Scheme MC-IRG - International Re-integration Grants (IRG) Coordinator MALARDALENS UNIVERSITET EU contribution € 100 000,00 Address HOGSKOLEPLAN 1 721 23 VASTERAAS Sweden See on map Region Östra Sverige Östra Mellansverige Västmanlands län Activity type Higher or Secondary Education Establishments Administrative Contact Gunnar Widforss (Prof.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data