Safety interface scheme for component-based safety critical software

DOI10.3724/SP.J.1087.2008.02933MaRDI QIDQ3399704zbMATH OpenFDO

Authors Ying Liu, Zhong-Wei Xu

Publication date 12 October 2009

Published in Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/SP.J.1087.2008.02933

zbMATH Keywords

component-based software developmentmulti-faults modesafety critical softwaresafety guaranteesafety interface

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Research into safety component model framework of safety requirement-oriented
• Applications and Theory of Petri Nets 2005
• Failure propagation modeling and analysis via system interfaces
• scientific article; zbMATH DE number 2080011
• Study on design method of embedded adaptive safety critical middleware

Cited in

(4)

• Modal Interface Theories for Communication-Safe Component Assemblies
• Research into safety component model framework of safety requirement-oriented
• scientific article; zbMATH DE number 2080011 (Why is no real title available?)
• Discovering unanticipated software output modes

This page was built for publication: Safety interface scheme for component-based safety critical software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3399704)