Filters








28 Hits in 7.9 sec

Mode-Automata: a new domain-specific construct for the development of safe critical systems

Florence Maraninchi, Yann Rémond
2003 Science of Computer Programming  
The success of Lustre showed that it is a good idea to o er domain-speciÿc languages and constructs to reduce the gap between the ÿrst design of a system (for instance a control law) and the program written  ...  Following the approach of domain-speciÿc languages, we proposed to extend Lustre with a new construct, called mode-automaton, devoted to the description of these running modes of regulation systems.  ...  The production-cell and Mode-Automata Our motivations for developing a mode-automaton version of the production cell are the following: (1) illustrate the construct introduced in Lustre on a well-known  ... 
doi:10.1016/s0167-6423(02)00093-x fatcat:gzm6ys4xnnbhjnf45mfr6ftvdq

Mode-Automata Based Methodology for Scade [chapter]

Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
2005 Lecture Notes in Computer Science  
Regulation systems are better specified using mode-automata which allow adding an automaton structure to data flow specifications written in Lustre.  ...  In this work, we try to combine the advantages of Scade and running modes, in order to develop a new design methodology which facilitates the study of several systems by respecting the separation between  ...  Mode automata have been proposed in [17] . They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of running modes.  ... 
doi:10.1007/978-3-540-31954-2_25 fatcat:dftndhx4pvgrtmjocqpbkqpnv4

Modeling and Formal Control of Partial Dynamic Reconfiguration

Sebastien Guillet, Florent de Lamotte, Eric Rutten, Guy Gogniat, Jean-Philippe Diguet
2010 2010 International Conference on Reconfigurable Computing and FPGAs  
This paper introduces an approach for the safe design and modeling of dynamically reconfigurable FPGA based Systems-on-Chip.  ...  This approach is carried out in a design framework, GASPARD2, dedicated to high-performance embedded systems modeling using the OMG standard profile UML/MARTE.  ...  So for this study, only mode automata can really be extracted from a MARTE specification (contracts, for example, are still written directly in BZR). VI.  ... 
doi:10.1109/reconfig.2010.56 dblp:conf/reconfig/GuilletLRGD10 fatcat:5u7obfl65ne7la4ahy4nzxano4

Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation

Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatie, Eric Rutten, Samy Meftali, Jean Luc Dekeyser
2010 International Journal of Embedded Systems  
As SoC design complexity is escalating to new heights, there is a critical need to find adequate approaches and tools for handling SoC co-design aspects.  ...  Afterwards, control integration at different levels of the framework is illustrated for both functional specification and FPGA synthesis.  ...  MARTE concepts for constructing mode automata We now present the utilization of some MARTE concepts which aid in the modeling of mode automata.  ... 
doi:10.1504/ijes.2010.039025 fatcat:rd4ipbnuwzdapbfsfmlomjovky

Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design

Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser
2014 Knowledge engineering review (Print)  
It is generic enough to be used for description in the different parts of an embedded system, e.g. specification of how different data-intensive algorithms can be chosen according to some computation modes  ...  at the functional level; expression of how hardware components can be selected via the usage of a library of Intellectual Properties (IPs) according to execution performances.  ...  The control model is based on mode automata in order to enable the specification of adaptivity for high-performance systems.  ... 
doi:10.1017/s0269888914000150 fatcat:mybh7m5xgzco3ktstqhh5egfwq

A metamodel for the design of polychronous systems

Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier
2009 The Journal of Logic and Algebraic Programming  
This article presents the development of a metamodel and an open-source design environment for the synchronous language SIGNAL in the GME and Eclipse frameworks.  ...  We start with an implementation of core polychronous 1 data-flow concepts in GME and show the ease of its modular extension with application-specific concepts such as mode automata or integrated modular  ...  Domain-specific language design In the RNTL project Spacify [46] , led by CNES and ONERA, we are developing a domain-specific programming environment called Synoptic for the development of embedded software  ... 
doi:10.1016/j.jlap.2008.11.005 fatcat:m2npdf3ghnfntiqgkmus3dy43m

Reactive control of adaptive embedded systems

Eric Rutten
2008 Proceedings of the 7th workshop on Reflective and adaptive middleware - ARM '08  
We use them as a foundation for an approach combining adaptivity and predictability, and describe a method for the safe design of safe execution systems, relying on a technique for the static guarantee  ...  ; 5. integrating these formal techniques in a user-aimed tool and method e.g., through the definition of domain-specific languages, with a compilation involving DCS; 6. and, last but not least, integrating  ...  This goal can also be formulated as: a method for the safe design of safe execution systems, a technique for the static guarantee of correct dynamic reconfiguration, a tool for the off-line computation  ... 
doi:10.1145/1462716.1462724 dblp:conf/middleware/Rutten08 fatcat:o2zpm3gwj5dtdkdcllefuofqkq

Contracts for modular discrete controller synthesis

Gwenaël Delaval, Hervé Marchand, Eric Rutten
2010 SIGPLAN notices  
We describe the extension of a reactive programming language with a behavioral contract construct.  ...  From transition system specifications of possible behaviors, DCS automatically produces controllers that make the controlled system satisfy the property given as objective.  ...  Our precise contribution is the definition of a new construct, added to the HEPTAGON language, for defining behavioural contracts to be enforced on a node.  ... 
doi:10.1145/1755951.1755898 fatcat:hn2qwwx545dwroej2v7wktlzpe

Contracts for modular discrete controller synthesis

Gwenaël Delaval, Hervé Marchand, Eric Rutten
2010 Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems - LCTES '10  
We describe the extension of a reactive programming language with a behavioral contract construct.  ...  From transition system specifications of possible behaviors, DCS automatically produces controllers that make the controlled system satisfy the property given as objective.  ...  Our precise contribution is the definition of a new construct, added to the HEPTAGON language, for defining behavioural contracts to be enforced on a node.  ... 
doi:10.1145/1755888.1755898 dblp:conf/lctrts/DelavalMR10 fatcat:amyvhzo2gzhwfcgkujuuwlxxla

Automatic generation of safe handlers for multi-task systems

Eric Rutten, Hervé Marchand
2009 Journal of Embedded Computing  
This provides us with a systematic methodology, for the automatic generation of safe task handlers, with the support of synchronous languages and associated tools.  ...  for kinematic model update, can be performed with different levels of accuracy, by making approximations e.g., by limiting the development of series, or avoiding the computation of terms that have a negligible  ...  The resolver can be coupled with the original specification of the uncontrolled system, using either Signal, or the tool SigalSimu in the case of Mode Automata. 3 Modeling tasks for a safe handling Informal  ... 
doi:10.3233/jec-2009-0097 fatcat:xtzp4fztpbhzzc4hadjce6a2he

Fighting CPS Complexity by Component-Based Software Development of Multi-Mode Systems

Hang Yin, Hans Hansson
2018 Designs  
Growing software complexity is an increasing challenge for the software development of modern cyber-physical systems.  ...  As a result, systems including modes can be developed from reusable mode-aware components.  ...  Acknowledgments: The authors would like to thank Arcticus Systems for discussions and support. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/designs2040039 fatcat:wrcnnvadw5anlm6uxzokdgr44m

Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model [chapter]

Gwenaël Delaval, Eric Rutten
2010 Lecture Notes in Computer Science  
The composite structure offers a uniform construct for this: introspection functionalities enable monitoring the state of system, while re-configuration actions allow to change it.  ...  We use a reactive programming language, with a new mechanism of behavioural contracts.  ...  We obtain discrete control loops for adaptive systems, that can be used e.g., for the safe management of resources: we illustrate the approach with a HTTP server example.  ... 
doi:10.1007/978-3-642-13238-4_6 fatcat:dxpfcewiynbpbfh76peypvje5y

Embedded and Real-time Systems [chapter]

Edward L. Lamie
2009 Real-Time Embedded Multithreading Using ThreadX  
Verification models and techniques applied to testing and control of reactive systems RESEARCH CENTER Rennes -Bretagne-Atlantique THEME Embedded and Real Time Systems Project-Team VERTECS  ...  Mode Automata and the visualization of the synthesized controller by an interactive simulation of the controlled system.  ...  For the first point, the CSM is often used as a safe scheduler, whereas for the second one, the supervisor can be interpreted as a safe discrete tele-operation system.  ... 
doi:10.1016/b978-1-85617-601-9.00001-2 fatcat:oo46lkp3gnbhbjc463pu7fs2hi

Embedded and Real-time Systems [chapter]

Edward L. Lamie
2009 Real-Time Embedded Multithreading Using ThreadX and MIPS  
Verification models and techniques applied to testing and control of reactive systems RESEARCH CENTER Rennes -Bretagne-Atlantique THEME Embedded and Real Time Systems Project-Team VERTECS  ...  Mode Automata and the visualization of the synthesized controller by an interactive simulation of the controlled system.  ...  For the first point, the CSM is often used as a safe scheduler, whereas for the second one, the supervisor can be interpreted as a safe discrete tele-operation system.  ... 
doi:10.1016/b978-1-85617-631-6.00001-9 fatcat:sq7s43icwvgk7lro4lpmj46g4a

Polychronous automata and their use for formal validation of AADL models

Thierry Gautier, Clément Guy, Alexandre Honorat, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard
2018 Frontiers of Computer Science  
Based on a previously defined modeling of AADL software architectures using the polychronous MoC, this model of polychronous automata is used as a formal model for the AADL Behavior Annex.  ...  This paper investigates how state diagrams can be best represented in the polychronous model of computation (MoC) and proposes to use this model for code validation of behavior specifications in AADL.  ...  Mode-automata have been combined with stream functions in Lucid Synchrone [16] .  ... 
doi:10.1007/s11704-017-6134-5 fatcat:ljbnqsduzveujn7vsbniztv3na
« Previous Showing results 1 — 15 out of 28 results