Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Information security is information risk management
Proceedings of the 2001 workshop on New security paradigms
Dependability of embedded systems
Proceedings of the 24th International Conference on Software Engineering
Using Immersive Virtual Environments for Certification
IEEE Software
Formal Development and Verification of a Distributed Railway Control System
IEEE Transactions on Software Engineering
Formal Methods for the International Space Station ISS
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Requirements Evolution from Process to Product Oriented Management
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
Linking Hazard Analysis to Formal Specification and Design in B
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
A Fail-Safe Dual Channel Robot Control for Surgery Applications
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Formal Development and Verification of a Distributed Railway Control System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Safety Analysis in Formal Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Hazard Analysis in Object Oriented Design of Dependable Systems
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
Computing systems dependability
Proceedings of the 25th International Conference on Software Engineering
Assessment of the Java programming language for use in high integrity systems
ACM SIGPLAN Notices
Applying Adaptive Safety Analysis Techniques
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Fine grained patterns for real-time systems
UML for real
An Introduction to Computing System Dependability
Proceedings of the 26th International Conference on Software Engineering
A metrics system for quantifying operational coupling in embedded computer control systems
Proceedings of the 4th ACM international conference on Embedded software
Safety Tactics for Software Architecture Design
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Implementation of control systems using B action systems: a case study
Nordic Journal of Computing
Design of self-managing dependable systems with UML and fault tolerance patterns
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
HazLog: tool support for hazard management
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
Undergraduate embedded system education at Carnegie Mellon
ACM Transactions on Embedded Computing Systems (TECS)
Dependability through Assured Reconfiguration in Embedded System Software
IEEE Transactions on Dependable and Secure Computing
Trustworthy software systems: a discussion of basic concepts and terminology
ACM SIGSOFT Software Engineering Notes
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
Calculation of MTTF values with Markov models for safety instrumented systems
ACS'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Computer Science - Volume 7
Algebraic software analysis and embedded simulation of a driving robot
Proceedings of the 2007 Summer Computer Simulation Conference
Safety of component-based systems: analysis and improvement using Fujaba4Eclipse
Companion of the 30th international conference on Software engineering
Journal of Systems and Software
A risk-based approach to supporting the operator role in complex monitoring systems
SCS '07 Proceedings of the twelfth Australian workshop on Safety critical systems and software and safety-related programmable systems - Volume 86
Specification of Conditions for Error Diagnostics
Electronic Notes in Theoretical Computer Science (ENTCS)
Basic consideration for SIL calculation in safety systems
ACACOS'08 Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science
Applying Safety Goals to a New Intensive Care Workstation System
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
AMBOSS: A Task Modeling Approach for Safety-Critical Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Towards reasoning about teleo-reactive programs for robust real-time systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
USAB '08 Proceedings of the 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for Education and Work
A framework for software safety in safety-critical systems
ACM SIGSOFT Software Engineering Notes
Dynamically Detecting Faults via Integrity Constraints
Methods, Models and Tools for Fault Tolerance
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction
Methods, Models and Tools for Fault Tolerance
IEEE Transactions on Robotics - Special issue on rehabilitation robotics
Proceedings of the 4th International Workshop on Middleware for Service Oriented Computing
Architecting dependable systems IV
A stepwise development process for reasoning about the reliability of real-time systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Trustworthy organic computing systems: challenges and perspectives
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Towards probabilistic modelling in event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Architectural patterns to design software safety based safety-critical systems
Proceedings of the 2011 International Conference on Communication, Computing & Security
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
Efficient protection against data errors in embedded control software
CIMMACS'07 Proceedings of the 6th WSEAS international conference on Computational intelligence, man-machine systems and cybernetics
Criticality-driven component integration in complex software systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Assessment of hazard identification methods for the automotive domain
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Modeling safety case evolution – examples from the air traffic management domain
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Formal development of reactive fault tolerant systems
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Computer assisted source-code parallelisation
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
A trust analysis methodology for pervasive computing systems
Trusting Agents for Trusting Electronic Societies
Evolutionary safety analysis: motivations from the air traffic management domain
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Formal development of mechanisms for tolerating transient faults
Rigorous Development of Complex Fault-Tolerant Systems
Formal transformation of platform independent models into platform specific models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Trace queries for safety requirements in high assurance systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Establishing evidence for safety cases in automotive systems: a case study
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Modeling, analysis and testing of safety issues: an event-based approach and case study
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Augmenting formal development of control systems with quantitative reliability assessment
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering
Building safer robots: Safety driven control
International Journal of Robotics Research
Dependability in Pervasive Computing: Challenges and Chances
Journal of Information Technology Research
Roberts: reconfigurable platform for benchmarking real-time systems
ACM SIGARCH Computer Architecture News - ACM SIGARCH Computer Architecture News/HEART '12
Do you get the picture?: situation awareness and system safety
ASSC '12 Proceedings of the Australian System Safety Conference - Volume 145
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
From the Publisher:Increasingly, microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: from anti-lock braking systems in automobiles, to fly-by-wire aircraft, to shut-down systems at nuclear power plants. It is, therefore, vital that engineers are aware of the safety implications of the systems they develop. This book is an introduction to the field of safety-critical computer systems, and is written for any engineer who uses microcomputers within real-time embedded systems. It assumes no prior knowledge of safety, or of any specific computer hardware or programming language. This book covers all phases of the life of a safety-critical system from its conception and specification, through to its certification, installation, service and decommissioning; provides information on how to assess the safety implications of projects, and determine the measures necessary to develop systems to meet safety needs; gives a thorough grounding in the techniques available to investigate the safety aspects of computer-based systems and the methods that may be used to enhance their dependability; and uses case studies and worked examples from a wide range of industrial sectors including the nuclear, aircraft, automotive and consumer products industries. This text is intended for both engineering and computer science students, and for practising engineers within computer-related industries. The approach taken is equally suited to engineers who consider computers from a hardware, software or systems viewpoint.