Search

Model-based approaches and related industrial applications were used in industrial case-studies in the railway and metropolitan transport sectors. Each of the presented an application of advanced modeling techniques to problems related to safety, reliability, and security. These experiences highlighted an efficient transfer to the industry of tools and methods developed in the academy. A method was described for the availability evaluation of a railway system considering all the failure modes and fault origins and exploiting a modeling technique known as 'multi-formalism'. A safety evaluation technique was demonstrated for majority voting systems in presence of imperfect maintenance, using abstraction and modeling techniques based on different languages. The concept of model-based-testing was also introduced to improve effectiveness and efficiency of the certification process.

Model-based approaches and related industrial applications were used in industrial case-studies in the railway and metropolitan transport sectors. Each of the presented an application of advanced modeling techniques to problems related to safety, reliability, and security. These experiences highlighted an efficient transfer to the industry of tools and methods developed in the academy. A method was described for the availability evaluation of a railway system considering all the failure modes and fault origins and exploiting a modeling technique known as 'multi-formalism'. A safety evaluation technique was demonstrated for majority voting systems in presence of imperfect maintenance, using abstraction and modeling techniques based on different languages. The concept of model-based-testing was also introduced to improve effectiveness and efficiency of the certification process.

Ej belagd 180913

Ej belagd 180913

Systematic functional testing is a fundamental step of embedded control systems development cycle, as it allows to verify and validate their final implementation. Various approaches to black-box testing have been proposed, however they either involve test-case explosion or do not ensure the correctness of system behavior in scenarios not covered by system specifications. To cope with such issues, a methodology which better suits both complexity and safety-criticality of the target system is needed. This paper describes the ASF functional testing methodology, based on a grey-box approach aimed at generating and reducing an extensive set of influence variables and test-cases. The methodology, embracing different aspects of system test process (code coverage verification, regression testing, etc.), was successfully applied to validate the ASF implementation of SCMT (an Italian project for an Automatic Train Protection System). The results obtained in our testing experience proved the time effectiveness and extensive coverage of the proposed approach.

Ej belagd 180913

Ej belagd 180913

Systematic functional testing is a fundamental step of embedded control systems development cycle, as it allows to verify and validate their final implementation. Various approaches to black-box testing have been proposed, however they either involve test-case explosion or do not ensure the correctness of system behavior in scenarios not covered by system specifications. To cope with such issues, a methodology which better suits both complexity and safety-criticality of the target system is needed. This paper describes the ASF functional testing methodology, based on a grey-box approach aimed at generating and reducing an extensive set of influence variables and test-cases. The methodology, embracing different aspects of system test process (code coverage verification, regression testing, etc.), was successfully applied to validate the ASF implementation of SCMT (an Italian project for an Automatic Train Protection System). The results obtained in our testing experience proved the time effectiveness and extensive coverage of the proposed approach.