Model-Based Development of Embedded Systems
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
AutoMoDe - Model-Based Development of Automotive Software
Proceedings of the conference on Design, Automation and Test in Europe - Volume 3
Testing Complex Safety-Critical Systems in SOA Context
CISIS '08 Proceedings of the 2008 International Conference on Complex, Intelligent and Software Intensive Systems
Software Testing, Verification & Reliability
Improvement of processes and methods in testing activities for safety-critical embedded systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
On the adoption of model checking in safety-related software industry
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
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
Formal methods for intelligent transportation systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.00 |
Complex systems are experiencing increasing needs to obtain a higher level of safety and to reduce time to market. This is in particular true for automotive, aerospace and railway domains, pushing the research community to define novel development and verification methods and techniques. The ARTEMIS EU-project MBAT (Combined Model-Based Analysis and Testing of Embedded Systems) represents one of the most important attempts in this direction since it aims to achieve such improvements in several application domains. Starting from the Ansaldo STS implementation of Communication-Based Train Control system (CBTC), which is the base of automatic driverless metro systems, we describe in this paper the improvement that MBAT would bring to the Verification process. To this aim an accurate description of existing Verification process in automatic metro systems and discussion about critical points are provided. Then we describe the expected results of MBAT project on such kind of processes. The proposed approach and developed tools will be part of a common reference platform and, also if related to the railway domain, for its generality, they can be used for different domains with similar needs. The basic agreement in the project will guarantee the cross use of the platform and will give quantitative measures of the obtained improvement.