Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Use of metaknowledge in the verification of knowledge-based systems
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Completeness, robustness, and safety in real-time software requirements specification
ICSE '89 Proceedings of the 11th international conference on Software engineering
Timing extensions to structured analysis for real time systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Analysis capabilities for requirements specified in statecharts
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Modeling of Hierarchical Distributed Systems with Fault-Tolerance
IEEE Transactions on Software Engineering
Formal specification for a clinical cyclotron control system
Conference proceedings on Formal methods in software development
Software safety in embedded computer systems
Communications of the ACM
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Intelligent real-time control of robotic vehicles
Communications of the ACM
IEEE Transactions on Software Engineering
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Assessment of Safety-Critical Specifications
IEEE Software
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A Systematic Approach to the Petri Net Based Specificationof Concurrent Systems
Real-Time Systems - Special issue on safety-critical systems
A validation framework for a maturity measurement model for safety-critical software systems
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
IEEE Transactions on Software Engineering
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Annals of Software Engineering
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Specification and Analysis of Real-Time Problem Solvers
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
A Petri Net Model for Session Services
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Formal Analysis of Real-Time Systems with SAM
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Approach to Designing Safe Embedded Software
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Safety Verification of Software Using Structured Petri Nets
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
A Method of Analysis of Fault Trees with Time Dependencies
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Software engineering techniques and tools for high performance parallel systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces
PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
An Example Of Risk Assessment Of Software Systems Specifications
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Reflective specification: applying a reflective language to formal specification
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Experiences using statecharts for a system requirements specification
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Model Checking Safety-Critical Systems Using Safecharts
IEEE Transactions on Computers
Predicting uncertain behavior of industrial system using FM-A practical case
Applied Soft Computing
International Journal of Information and Computer Security
Microprocessors & Microsystems
Aspects of the safety analysis of an on-board automatic train operation supervisor
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Safety testing of computerized provider order entry systems
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Research: Specification, validation, and verification of time-critical systems
Computer Communications
| Hi-index | 0.04 |
The application of Time Petri net modeling and analysis techniques to safety-critical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and fault-tolerance.