%0 Book Section %1 bernardi2011modeldriven %A Bernardi, Simona %A Flammini, Francesco %A Marrone, Stefano %A Merseguer, José %A Papa, Camilla %A Vittorini, Valeria %B Computer Safety, Reliability, and Security %D 2011 %E Flammini, Francesco %E Bologna, Sandro %E Vittorini, Valeria %I Springer Berlin Heidelberg %K availability dependability %P 15-28 %R 10.1007/978-3-642-24270-0_2 %T Model-Driven Availability Evaluation of Railway Control Systems %U http://dx.doi.org/10.1007/978-3-642-24270-0_2 %V 6894 %X Maintenance of real-world systems is a complex task involving several actors, procedures and technologies. Proper approaches are needed in order to evaluate the impact of different maintenance policies considering cost/benefit factors. To that aim, maintenance models may be used within availability, performability or safety models, the latter developed using formal languages according to the requirements of international standards. In this paper, a model-driven approach is described for the development of formal maintenance and reliability models for the availability evaluation of repairable systems. The approach facilitates the use of formal models which would be otherwise difficult to manage, and provides the basis for automated models construction. Starting from an extension to maintenance aspects of the MARTE-DAM profile for dependability analysis, an automated process based on model-to-model transformations is described. The process is applied to generate a Repairable Fault Trees model from the MARTE-DAM specification of the Radio Block Centre - a modern railway controller. %@ 978-3-642-24269-4

@incollection{bernardi2011modeldriven, abstract = {Maintenance of real-world systems is a complex task involving several actors, procedures and technologies. Proper approaches are needed in order to evaluate the impact of different maintenance policies considering cost/benefit factors. To that aim, maintenance models may be used within availability, performability or safety models, the latter developed using formal languages according to the requirements of international standards. In this paper, a model-driven approach is described for the development of formal maintenance and reliability models for the availability evaluation of repairable systems. The approach facilitates the use of formal models which would be otherwise difficult to manage, and provides the basis for automated models construction. Starting from an extension to maintenance aspects of the MARTE-DAM profile for dependability analysis, an automated process based on model-to-model transformations is described. The process is applied to generate a Repairable Fault Trees model from the MARTE-DAM specification of the Radio Block Centre - a modern railway controller.}, added-at = {2014-09-03T10:25:40.000+0200}, author = {Bernardi, Simona and Flammini, Francesco and Marrone, Stefano and Merseguer, José and Papa, Camilla and Vittorini, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/23ad5ec129134e125b5dc54ba1537503d/avail_map_stud}, booktitle = {Computer Safety, Reliability, and Security}, description = {Model-Driven Availability Evaluation of Railway Control Systems - Springer}, doi = {10.1007/978-3-642-24270-0_2}, editor = {Flammini, Francesco and Bologna, Sandro and Vittorini, Valeria}, interhash = {466e1a3485849856bf839a72e2f9ffe8}, intrahash = {3ad5ec129134e125b5dc54ba1537503d}, isbn = {978-3-642-24269-4}, keywords = {availability dependability}, language = {English}, pages = {15-28}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2014-09-03T10:25:40.000+0200}, title = {Model-Driven Availability Evaluation of Railway Control Systems}, url = {http://dx.doi.org/10.1007/978-3-642-24270-0_2}, volume = 6894, year = 2011 }