Software Safety in Computer-Controlled Systems

Leveson,

doi:10.1109/mc.1984.1659054

Cited by 51 publications

(6 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A fail-safe system attempts to limit the amount of damage caused by a failure [5]. No attempt is made to satisfy the functional specifications except where necessary to ensure safety.…”

Section: Dependabilitymentioning

confidence: 99%

Meta-Design Support for Safe and Secure Networked Embedded Systems

Sveda

Vrba

2008

Third International Conference on Systems (Icons 2008)

View full text Add to dashboard Cite

This paper presents principles of meta-design support for end-user development of safe and secure embedded system networking. The presented approach offers a reusable framework for Internet-based embedded system applications. The framework provides a development environment kernel that can be adapted for various safety/security critical embedded system application domains. It stems from the IEEE 1451.1 smart transducer interface standard that provides an object-based networking model mediating efficient and unified access to distributed components through both wired and wireless networks. The paper discusses this framework not only from the viewpoint of framework builders, but also end-user developers. In this context, it demonstrates how to use that approach for a safety and security-critical application with Internet and ZigBee.

show abstract

“…A fail-safe system attempts to limit the amount of damage caused by a failure [5]. No attempt is made to satisfy the functional specifications except where necessary to ensure safety.…”

Section: Dependabilitymentioning

confidence: 99%

Meta-Design Support for Safe and Secure Networked Embedded Systems

Sveda

Vrba

2008

Third International Conference on Systems (Icons 2008)

View full text Add to dashboard Cite

show abstract

“…While typically applied to a system design, FTA has recently been applied to software to determine how failures in its implementation could cause a hazard (Leveson 1984;Knight & Nakano, 1997). It can be used to determine cases where the implemented design could cause a hazard, or show which modules are most critical to the safe operation of the system.…”

Section: Rehabilitation Roboticsmentioning

confidence: 99%

Designing Safety-Critical Rehabilitation Robots

Roderick¹,

Carignan²

2007

Rehabilitation Robotics

View full text Add to dashboard Cite

“…Security attributes add requirements to detect and avoid intentional faults. Safety, see (Leveson, 1984), is the ability to deliver service under given conditions with no catastrophic effects. Safety attributes add requirements to detect and avoid catastrophic failures.…”

Section: Functionality and Dependabilitymentioning

confidence: 99%

TOWARDS A UNIFIED SECURITY/SAFETY FRAMEWORK - A Design Approach to Embedded System Applications

Sveda¹,

Vrba²

2007

Proceedings of the Second International Conference on Software and Data Technologies

View full text Add to dashboard Cite

This paper presents a safety and security-based approach to networked embedded system design that offers reusable design patterns for various domain-dedicated applications. After introducing proper terminology, it deals with industrial, sensor-based applications development support aiming at distributed components interconnected by wired Internet and/or wireless sensor networks. The paper presents a dependability-driven approach to embedded networks design for a class of Internet-based applications. It discusses an abstract framework stemming from embedded system networking technologies using wired and wireless LANs, and from the IEEE 1451.1 smart transducer interface standard supporting client-server and publish-subscribe communication patterns with group messaging based on IP multicast that mediate safe and secure access to smart sensors through Internet and Zigbee. The case study demonstrates how clients can access groups of wireless smart pressure and temperature sensors and safety valves through Internet effectively using developed system architecture, which respects prescribed requirements for application dependent safety and security.

show abstract

Software Safety in Computer-Controlled Systems

Cited by 51 publications

References 19 publications

Meta-Design Support for Safe and Secure Networked Embedded Systems

Meta-Design Support for Safe and Secure Networked Embedded Systems

Designing Safety-Critical Rehabilitation Robots

TOWARDS A UNIFIED SECURITY/SAFETY FRAMEWORK - A Design Approach to Embedded System Applications

Contact Info

Product

Resources

About