Titlebook: Computer Safety, Reliability and Security; 17th International C Wolfgang Ehrenberger Conference proceedings 1998 Springer-Verlag Berlin Hei

Chandelier

Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time SystemsBy this approach we will show some formal aspects of our real-time task model and also how this result is used to ensure that the timeliness property and the sizing can be achieved on a safety critical real-time study case.

Range-Of-Motion

Communal

Impact of Object-Oriented Software Engineering Applied to the Development of Security Systemsdel based on object-oriented methods, schedulability analysis and validation of software requirements. The application of these methods to a remote receiver unit DEZ-9000 demonstrated improvements in software reliability, significant reduction of time-to-market and development and maintenance efforts.

BLOT

Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architectureng life time, long maintainability intervals, low costs, fulfillment of standards). This paper addresses a new automotive architecture approach - based on a time triggered architecture - and a framework for the application design of future by-wire systems in vehicles.

Organonitrile

Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Pattof a belt component in a production cell which used the HyTech notation. Several specification patterns have been identified; they regard global structure, the use of variable restrictions, of synchronization labels, and the use of locations.

Parallel

CRACY

Operator Errors and Their Causes to blame for it. The normative model is meant to serve as a basis for an analysis of operator errors by means of psychological experiments, and the formulation of guidelines for the design of man-machine communication and user interfaces.

哺乳動(dòng)物

“Profit by Safety” or Quackery in Biomedical Information Technology?ern medicine. Legislation and government actions are not sufficient to make drugs, medical devices and medical procedures adequately safe. Lessons from device failure constitute the challenge to users and creators of dependable systems to combine forces and make things better, or keep the quack alive.

MITE

Towards Automated Proof of Fail-Safe Behaviorth FRA. While formal verification focuses on the functional aspects, in particular safety functions, the fault tree analysis with FRA focuses on the system integrity. FRA significantly reduces the effort for the generation of fault trees. This paper describes Formal Risk Analysis and its application for the proof of fail-safe behavior.

矛盾