ABSTRACT
This paper presents the findings from a design study of a model-based framework for safety-critical software development, called SimPal. The objective of the study was to better understand the necessary properties of such a framework and to learn more about the challenges of realizing it. Our research approach can be labeled as design research, which means that we try to answer our research questions by developing an artifact, in our case SimPal, and analyzing our experiences from the design of the artifact. In the paper we present what we identify as the necessary quality characteristics, using the ISO25010 quality in use quality model, of a framework like SimPal. These characteristics are then used to evaluate the SimPal framework in combination with a simple design case where we design a soft safety controller. We show that our approach has potential considering safety-critical software development. Although, there are some concerns about its run-time performance, from our results we conclude that the ideas behind the SimPal framework are sound but more work is required to investigate how they can be realized. In the future more effort should be spent on increasing performance and adding more features to the framework.
- P. Baufreton, J. P. Blanquart, J. L. Boulanger, H. Delseny, J. C. Derrien, J. Gassino, G. Ladier, E. Ledinot, M. Leeman, P. Quéré, and B. Ricque. Multi-domain comparison of safety standards. In Proceedings of the 5th International Conference on Embedded Real Time Software and Systems (ERTS2), Toulouse, France, 2010.Google Scholar
- A. Collins, D. Joseph, and K. Bielaczyc. Design research: Theoretical and methodological issues. Journal of the Learning Sciences, 13(1):15--42, Jan. 2004.Google ScholarCross Ref
- A. Coronato and G. De Pietro. A middleware architecture for safety critical ambient intelligence applications. In S. Balandin, R. Dunaytsev, and Y. Koucheryavy, editors, Smart Spaces and Next Generation Wired/Wireless Networking, volume 6294 of Lecture Notes in Computer Science, pages 26--37. Springer Berlin/Heidelberg, 2010. Google ScholarDigital Library
- T. Dingsøyr, T. Dybå, and N. B. Moe. Agile Software Development - Current Research and Future Directions. Springer Berlin Heidelberg, 2010. Google ScholarDigital Library
- EN 50126 Railway applications - The specification and demonstration of reliability, availability, maintainability and safety (RAMS), 2007.Google Scholar
- R. France and B. Rumpe. Model-driven development of complex software: A research roadmap. In 2007 Future of Software Engineering, FOSE '07, pages 37--54, Washington, DC, USA, 2007. IEEE Computer Society. Google ScholarDigital Library
- A. R. Hevner, S. T. March, J. Park, and S. Ram. Design science in information systems research. MIS Q., 28(1):75--105, Mar. 2004. Google ScholarCross Ref
- International Electrotechnical Commission. IEC 61508, Functional Safety of Electrical/Electronic/Programmable Electronic Safety Related Systems - Part 3: Software requirements. 65A/550/FDIS, 2009.Google Scholar
- ISO/IEC 25010:2011 Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models, 2011.Google Scholar
- N. Leveson. Engineering a safer world: systems thinking applied to safety. MIT Press, Cambridge, Mass., 2011.Google Scholar
- D. Mishra and A. Mishra. Complex software project development: Agile methods adoption. Journal of Software Maintenance and Evolution, 23(8):549--564, 2011. Google ScholarDigital Library
- D. Rodrigues, R. Melo Pires, J. C. Estrella, M. Vieira, M. Corrêa, J. B. Camargo Júnior, K. R. L. J. C. Branco, and O. T. Júnior. Application of SOA in safety-critical embedded systems. In G. Lee, D. Howard, and D. Ślęzak, editors, Convergence and Hybrid Information Technology, volume 206 of Communications in Computer and Information Science, pages 345--354. Springer Berlin Heidelberg, 2011.Google Scholar
- RTCA/DO178B Software Considerations in Airborne Systems and Equipment Certification, 1992.Google Scholar
- M. Satyanarayanan. Pervasive computing: vision and challenges. IEEE Personal Communications, 8(4):10--17, Aug. 2001.Google ScholarCross Ref
- J. Srinivasan, R. Dobrin, and K. Lundqvist. 'State of the art' in using agile methods for embedded systems development. In 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC, volume 2, pages 522--527. IEEE Computer Society, 2009. Google ScholarDigital Library
- I. Stürmer, D. Weinberg, and M. Conrad. Overview of existing safeguarding techniques for automatically generated code. In Proceedings of the second international workshop on Software engineering for automotive systems, SEAS '05, pages 1--6, New York, NY, USA, 2005. ACM.Google ScholarDigital Library
- D. Svensson Fors, B. Magnusson, S. Gestegård Robertz, G. Hedin, and E. Nilsson-Nyman. Ad-hoc composition of pervasive services in the PalCom architecture. In Proceedings of the 2009 ACM international conference on pervasive services (ICPS'09), pages 83--92. ACM, 2009. Google ScholarDigital Library
- L.-J. Zhang, J. Zhang, and H. Cai. Services Computing. Springer Berlin Heidelberg, 2007.Google Scholar
Index Terms
- A model-based framework for flexible safety-critical software development: a design study
Recommendations
The dynamics of agile practices for safety-critical software development
XP '17: Proceedings of the XP2017 Scientific WorkshopsThis short paper reports from a case study of the agile development of safety-critical software. It utilizes a framework of dynamic relationships between agile practices with the purpose of demonstrating the utility of the framework to understand a case ...
SimPal: a design study on a framework for flexible safety-critical software development
This paper presents the findings from a design study on a framework for flexible safety-critical software development, called SimPal. It is an extended version of a paper that was published in SAC'13 Proceedings of the 2013 ACM Symposium on Applied ...
A framework for software safety in safety-critical systems
Software for safety-critical systems must deal with the hazards identified by safety analysis in order to make the system safe, risk-free, and fail-safe. Because human lives may be lost and tremendous economic costs may result if the software fails, the ...
Comments