Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
Scheduling algorithms for hard real-time systems: a brief survey
Tutorial: hard real-time systems
Static Analysis of Real-Time Distributed Systems
IEEE Transactions on Software Engineering
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Module Allocation of Real-Time Applications to Distributed Systems
IEEE Transactions on Software Engineering
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Fundamentals of software engineering
Fundamentals of software engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
Analyzing refinements of state based specifications: the case of TB nets
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Using state space reduction methods for deadlock analysis in Ada tasking
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Method integration: concepts and case studies
Method integration: concepts and case studies
HRT-HOOD: a structured design method for hard real-time systems
Real-Time Systems
Validating timing requirements for time basic net specifications
Journal of Systems and Software
From structured analysis to formal specifications: state of the theory
CSC '94 Proceedings of the 22nd annual ACM computer science conference on Scaling up : meeting the challenge of complexity in real-world computing applications: meeting the challenge of complexity in real-world computing applications
Task Clustering and Scheduling for Distributed Memory Parallel Architectures
IEEE Transactions on Parallel and Distributed Systems
Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Realtime systems
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Task-System Analysis Using Slope-Parametric Hybrid Automata
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
A Stubborn Attack On State Explosion
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
TCPN-Based Tool for Timing Constraints Modelling and Validation
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
| Hi-index | 0.00 |
The development of real-time systems is based on a variety of different methods and notations. Despite the purported benefits of formal methods, informal techniques still play a predominant role in current industrial practice. Formal and informal methods have been combined in various ways to smoothly introduce formal methods in industrial practice. The combination of real-time structured analysis (SA-RT) with Petri nets is among the most popular approaches, but has been applied only to requirements specifications. This paper extends SA-RT to specifications of the detailed design of embedded real-time systems, and combines the proposed notation with Petri nets.