Communicating sequential processes
Communicating sequential processes
A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Communication and concurrency
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
A temporal calculus of communicating systems
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering - Special issue on software architecture
Implementation of the data-flow synchronous language SIGNAL
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
A theory of processes with durational actions
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
Timing and causality in process algebra
Acta Informatica
Specification of software controlling a discrete-continuous environment
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
A comprehensive setting for matching and unification over iterative terms
Fundamenta Informaticae
“Closed interval process algebra” versus “Interval process algebra”
Acta Informatica
Real-Time Systems: Specification, Verification, and Analysis
Real-Time Systems: Specification, Verification, and Analysis
Formal Specifications of Distributed Multimedia Systems
Formal Specifications of Distributed Multimedia Systems
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Exposing the Skeleton in the Coordination Closet
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Hi-index | 0.00 |
Nowadays, more and more often, complex systems are built by assembling together different system components. This technology also affects the construction of heterogeneous and/or hybrid systems where components can represent hardware sensors, software controllers, etc. Moreover the resulting system is normally distributed. These systems have often real-time constraints/ requirements and each component is characterized by its own speed determined by its local clock. In this paper we present a framework to specify and statically analyze the architecture of a system as a network of (parallel) components, each one with its own local clock. Configuring the system means to formally define how to get the global clock out of the local clocks. This clock configuration step is "optimal" that is, it is the best way to relate the local clocks so that the maximum number of synchronizations in the system can happen. Besides the usual behavioral and timing analysis, it is, for example, possible to verify if, and how changing the local speed of a component can affect the global performance of the system.Components behaviors are specified by means of a simple process algebra. Local clocks are modeled as higher order terms in a given signature, and unification is used to define the common clock. Then an operational semantics defines which transitions a process can perform and which transitions let time to elapse. A set of case studies illustrate the approach.