Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
نویسندگان
چکیده
We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the so-called Loosely Time-Triggered Architectures.
منابع مشابه
1549 Heterogeneous Reactive Systems Modeling and Correct - by - Construction Deployment Albert Benveniste , Luca P . Carloni , Paul Caspi
We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the socalled Loosely Time-Triggered Architectures. This report is an...
متن کاملCausality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over distributed architecture (such as GALS or LTTA). In this paper, we extend our framework to model explicitly causality relations and scheduling constraints. We show how the formal results on the preservation of semantics ho...
متن کاملAccess control in ultra-large-scale systems using a data-centric middleware
The primary characteristic of an Ultra-Large-Scale (ULS) system is ultra-large size on any related dimension. A ULS system is generally considered as a system-of-systems with heterogeneous nodes and autonomous domains. As the size of a system-of-systems grows, and interoperability demand between sub-systems is increased, achieving more scalable and dynamic access control system becomes an im...
متن کاملSemantic Driven Synthesis for Heterogeneous Systems
The separation of concerns between functionality and architecture is a powerful technique used to facilitate design reuse at the system level. This separation of concerns and the successive refinement of the design by mapping functionality onto architecture are the core concepts in platform-based design. The goal of mapping is to optimize a set of objective functions while satisfying constraint...
متن کاملApplying model-driven development to distributed real-time and embedded avionics systems
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide “correct-by-construction” capabilities for many software development activities. This paper provides two contributions to the study of applying MDD to distributed real-time and embedded (DRE) systems that use standards-based quality of service (QoS)-...
متن کامل