Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Semantics of Modechart in real time logic
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Communicating shared resources: a model for distributed real-time systems
Communicating shared resources: a model for distributed real-time systems
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Comparing different approaches for specifying and verifying real-time systems
RTOSS '93 Proceedings of the tenth IEEE workshop on Real-time operating systems and software
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
A process algebra of communicating shared resources with dense time and priorities
A process algebra of communicating shared resources with dense time and priorities
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Development of Reactive Systems - Case Study Production Cell
Formal Development of Reactive Systems - Case Study Production Cell
Proceedings of the 8th International Conference on Computer Aided Verification
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
CCS + Time = An Interleaving Model for Real Time Systems
ICALP '91 Proceedings of the 18th International Colloquium on Automata, Languages and Programming
A Temporal Calculus of Communicating Systems
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Compiling Modechart specifications
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Schedulability and Safety Analysis in the Graphical Communicating Shared Resources
WORDS '96 Proceedings of the 2nd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '96)
| Hi-index | 0.00 |
We present Graphical Communicating Shared Resources (GCSR), a formal language for the specification and analysis of real-time systems, including their functional, temporal and resource requirements. GCSR supports the explicit representation of system resources and priorities to arbitrate resource contentions. These features allow a designer to examine resource inherent constraints and to experiment with various resource allocations and scheduling disciplines in order to produce a more dependable specification. In addition, GCSR differs from other graphical languages through its well-defined notions of modularity and hierarchy: dependencies between system components, expressed as communication events, can have a limited scope of visibility, and control ow between components is clearly represented as either an interrupt or exception, i.e., voluntary release of control. Furthermore, GCSR has a precise operational semantics and notions of equivalence that allow the execution and formal analysis of a specification. We present the GCSR language, its toolset, and how properties, e.g., safety can be analyzed within GCSR.