Integrating safety and formal analyses using UML and PFS
Authors:
- Frantz IwuFIFrantz Iwu
- Andy GallowayAGAndy Galloway
- John McDermidJMJohn McDermid
- Ian ToynITIan Toyn
- 28 February 2007
- journal article
- Published by Elsevier in Reliability Engineering & System Safety
- Vol. 92 (2) , 156-170
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Practical Formal Specification for Embedded Control SystemsIFAC Proceedings Volumes, 2004
- Safety and Security Analysis of Object-Oriented ModelsLecture Notes in Computer Science, 2002
- Is proof more cost-effective than testing?IEEE Transactions on Software Engineering, 2000
- Experiences with the Application of Discrete Formal Methods to the Development of Engine Control SoftwareIFAC Proceedings Volumes, 1998
- Requirements specification for process-control systemsIEEE Transactions on Software Engineering, 1994