Communicating sequential processes
Communicating sequential processes
IEEE Transactions on Software Engineering
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Graphical specification of object oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Multilevel specification of real time systems
Communications of the ACM - Special issue on software engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Squeak: a language for communicating with mice
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Communicating sequential processes
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A Timed Model for Communicating Sequential Processes
ICALP '86 Proceedings of the 13th International Colloquium on Automata, Languages and Programming
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review
Testing real-time constraints in a process algebraic setting
Proceedings of the 17th international conference on Software engineering
An efficient state space generation for analysis of real-time systems
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
An Efficient State Space Generation for the Analysis of Real-Time Systems
IEEE Transactions on Software Engineering
Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software
IEEE Transactions on Parallel and Distributed Systems
Behavioral patterns for software requirement engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
DF*: Modeling Dynamic Process Creation and Events for Interactive Multimedia Applications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Beyond event handlers: programming wireless sensors with attributed state machines
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Modeling distributed real-time applications with specification PEARL
Real-Time Systems
Journal of Embedded Computing - Real-Time and Embedded Computing Systems
Modeling And Verification Of Real-Time Systems
Journal of Integrated Design & Process Science
A Graphical Language for Specifying and Analyzing Real-Time Systems
Integrated Computer-Aided Engineering
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Prototyping distributed multimedia systems using communicating real-time state machines
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Symbolic verification of distributed real-time systems with complex synchronizations
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Interoperability of constrained finite state automata
ACM SIGSOFT Software Engineering Notes
Research: Probabilistic fuzzy timed protocol verification
Computer Communications
Validation of protocols with temporal constraints
Computer Communications
Research: Specification, validation, and verification of time-critical systems
Computer Communications
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Communicating real-time state machines (CRSMs), a complete and executable notation for specifying concurrent real-time systems including the monitored and controlled physical environment, are introduced. They are essentially state machines that communicate synchronously in a manner much like the input-output in Hoare's CSP. In addition, CRSMs have a novel and small set of facilities for describing timing properties and accessing real time. The author defines the CRSM language, gives many examples of its use in requirements specification, outlines an algorithm for executing or simulating CRSMs, introduces some techniques for reasoning about the specifications, and discusses some open problems and issues.