Requirements Engineering: Processes and Techniques
Requirements Engineering: Processes and Techniques
Requirements Engineering
A grey-box approach to the functional testing of complex automatic train protection systems
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Improving verification process in driverless metro systems: the MBAT project
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Relevance and perspectives of AAL in Brazil
Journal of Systems and Software
| Hi-index | 0.00 |
In order to sustain competitiveness in transport domain, especially in automotive, aerospace and rail, it is extremely important to control and optimize the entire development process of complex safety-critical embedded systems. In this context, the ARTEMIS EU-project CESAR1 (Cost-Efficient methods and processes for SAfety Relevant embedded systems) aims to boost cost efficiency of embedded systems development, safety and certification processes by an order of magnitude. We want to achieve the above target in the railway domain with particular emphasis on the Verification and Validation (V&V) process where activities to be performed, due to their complexity, require a significant amount of economical resources. Starting from an industrial use case (the On-Board Unit of the European Railway Traffic Management System Level 1, ERTMS L1) we provide a methodology that overcomes some weaknesses in testing processes. It supports requirements analysis and automatic test cases generation, avoiding a computational explosion.