Parametric real-time reasoning
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
Information and Computation
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Science of Computer Programming
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Synchronous Observers and the Verification of Reactive Systems
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Some Synchronization Issues When Designing Embedded Systems from Components
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Bus Architectures for Safety-Critical Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Embedded Control: From Asynchrony to Synchrony and Back
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Formal Design of Distributed Control Systems with Lustre
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Loose synchronization of event-triggered networks for distribution of synchronous programs
Proceedings of the 4th ACM international conference on Embedded software
Proceedings of the 4th ACM international conference on Embedded software
Proceedings of the 5th ACM international conference on Embedded software
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Formal Methods in System Design
An algebraic theory for behavioral modeling and protocol synthesis in system design
Formal Methods in System Design
Mode: a method for system-level architecture evaluation
Formal methods and models for system design
Behavioral type inference: part I - algebraic theory for bahavioral type inference
Formal methods and models for system design
A compositional behavioral modeling framework for embedded system design and conformance checking
International Journal of Parallel Programming
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Loosely time-triggered architectures based on communication-by-sampling
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Semantics-preserving multitask implementation of synchronous programs
ACM Transactions on Embedded Computing Systems (TECS)
Separate Compilation of Polychronous Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
A trace-based framework for verifiable GALS composition of IPs
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A Verification Approach for GALS Integration of Synchronous Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Robustness analysis for the certification of digital controller implementations
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Loosely time-triggered architectures for cyber-physical systems
Proceedings of the Conference on Design, Automation and Test in Europe
A unifying view of loosely time-triggered architectures
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Compositional design of isochronous systems
Science of Computer Programming
Proving the properties of communicating imperfectly-clocked synchronous systems
SAS'06 Proceedings of the 13th international conference on Static Analysis
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Hi-index | 0.01 |
A distributed real-time control system has a time-triggered nature, just because the physical system for control is bound to physics. Loosely Time-Triggered Architectures (LTTA) are a weaker form of the strictly synchronous Time-Triggered Architecture proposed by Kopetz, in which the different periodic clocks are not synchronized, and thus may suffer from relative offset or jitter.We propose a protocol that ensures a coherent system of logical clocks on the top of LTTA, and we provide several proofs for it, both manual and automatic, based on synchronous languages and associated model checkers. We briefly discuss how this can be used for correct deployment of synchronous designs on an LTTA.