,
, Example of a Giotto Task Execution
, Execution of a Processing Operation in Oasis
,
,
,
, Example of an Extended Timed Component
, High Level Representation of the Target Architecture
, Potential Conflict Between Interactions ? 1 and ?
, High Level Representation of a Decentralized Send-Receive Model of the Task Manager Example
, Send/Receive Transformation of the Controller Component From Figure 2.3, vol.46
, A Simple Petri Net with Two Succesive Markins
,
, Example of a History Clock for Action a
, Refined Version of the Conflict Resolution Layer from Figure 4.2, p.65
, Planning Automata for the Task Manager Example
, Sample of the Output Strategy from UPPAAL-Tiga
, Example of Clocks with Different Rates
,
,
,
, The Distributed Real-Time BIP Filter
,
, FireWire Topologies with 2, 3 and 5 nodes
,
The Gearbox Controller Component ,
,
, Detailed Results of the Task Manager Experiments
,
Model-based implementation of real-time applications, Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, pp.229-238, 2010. ,
A theory of timed automata, Theor. Comput. Sci, vol.126, issue.2, pp.183-235, 1994. ,
Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. Dependable Sec. Comput, vol.1, issue.1, pp.11-33, 2004. ,
Process synchronization: Design and performance evaluation of distributed algorithms, IEEE Trans. Software Eng, vol.15, issue.9, pp.1053-1065, 1989. ,
Rigorous component-based system design using the BIP framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011. ,
Rigorous component-based system design using the BIP framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011. ,
Rigorous system level modeling and analysis of mixed HW/SW systems, 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, pp.11-20, 2011. ,
Statistical abstraction and model-checking of large heterogeneous systems, Saddek Bensalem, Marius Bozga, Benoît Delahaye, and Axel Legay, vol.14, pp.53-72, 2012. ,
Incremental generation of linear invariants for component-based systems, 13th International Conference on Application of Concurrency to System Design, ACSD 2013, pp.80-89, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00878738
A framework for automated distributed implementation of component-based models, Distributed Computing, vol.25, issue.5, pp.383-409, 2000. ,
Uppaal-tiga: Time for playing games!, Computer Aided Verification, 19th International Conference, pp.121-125, 2007. ,
A generic model of contracts for embedded systems, CoRR, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00153477
Kronos: A model-checking tool for real-time systems, Computer Aided Verification, 10th International Conference, CAV '98, pp.546-550, 1998. ,
A contract-based formalism for the specification of heterogeneous systems (invited), Forum on specification and Design Languages, pp.142-147, 2008. ,
The esterel synchronous programming language: Design, semantics, implementation, Sci. Comput. Program, vol.19, issue.2, pp.87-152, 1992. ,
URL : https://hal.archives-ouvertes.fr/inria-00075711
Using BIP for modeling and verification of networked systems -A case study on tinyos-based networks, Sixth IEEE International Symposium on Network Computing and Applications, pp.257-260, 2007. ,
An algebraic framework for urgency, Inf. Comput, vol.163, issue.1, pp.172-202, 2000. ,
Modeling synchronous systems in BIP, Proceedings of the 9th ACM & IEEE International conference on Embedded software, pp.77-86, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00722479
OASIS formal approach for distributed safety-critical real-time system design, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, pp.167-178, 2007. ,
Deterministic distributed safety-critical real-time systems within the oasis approach, International Conference on Parallel and Distributed Computing Systems, PDCS 2005, pp.260-268, 2005. ,
Efficient on-the-fly algorithms for the analysis of timed games, CONCUR 2005 -Concurrency Theory, 16th International Conference, pp.66-80, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00350475
This car runs on code, IEEE Spectrum, 2009. ,
Multi-criteria optimization for mapping programs to multi-processors, 6th IEEE International Symposium on, SIES 2011, pp.9-17, 2011. ,
Translating AADL into BIP -application to the verification of real-time systems, Models in Software Engineering, Workshops and Symposia at MODELS, pp.5-19, 2008. ,
Local planning of multiparty interactions with bounded horizons, FM 2016: Formal Methods -21st International Symposium, pp.199-216, 2016. ,
Knowledge based optimization for distributed real-time systems, 24th AsiaPacific Software Engineering Conference, pp.751-756, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01888605
Local planning semantics : a semantics for distributed real-time systems, Leibniz Transactions on Embedded Systems, 2018. ,
Dynamical properties of timed automata revisited, Formal Modeling and Analysis of Timed Systems, 5th International Conference, pp.130-146, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-01699957
Symbolic robustness analysis of timed automata, Formal Modeling and Analysis of Timed Systems, 4th International Conference, pp.143-155, 2006. ,
Time for statistical model checking of real-time systems, Computer Aided Verification -23rd International Conference, pp.349-355, 2011. ,
Architecture-based design of computer based systems, 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003, pp.39-46, 2003. ,
From petri nets to automata with concurrency, Applied Categorical Structures, vol.10, issue.2, pp.173-191, 2002. ,
Distributed real-time software for cyber-physical systems, Proceedings of the IEEE, vol.100, issue.1, pp.45-59, 2012. ,
Synchronous programming of reactive systems, Computer Aided Verification, 10th International Conference, CAV '98, pp.1-16, 1998. ,
Giotto: a time-triggered language for embedded programming, Proceedings of the IEEE, vol.91, issue.1, pp.84-99, 2003. ,
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Trans. Software Eng, vol.18, issue.9, pp.785-793, 1992. ,
Deciding properties of regular real time processes, Computer Aided Verification, 3rd International Workshop, CAV '91, pp.443-453, 1991. ,
A model-based design methodology for cyber-physical systems, Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, IWCMC 2011, pp.1666-1671, 2011. ,
Mathematical methods for calculating invariants in petri nets, Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, pp.104-131, 1986. ,
An integrated architecture for dependable embedded systems, 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), pp.160-161, 2004. ,
Component-based design of embedded systems, Software Technologies for Embedded and Ubiquitous Systems -8th IFIP WG 10.2 International Workshop, p.1, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01061218
Real-Time Systems -Design Principles for Distributed Embedded Applications. Real-Time Systems Series, 2011. ,
Model-integrated development of embedded software, Proceedings of the IEEE, vol.91, issue.1, pp.145-164, 2003. ,
Proving the correctness of multiprocess programs, IEEE Trans. Software Eng, vol.3, issue.2, pp.125-143, 1977. ,
Modeling concurrent real-time processes using discrete events, Ann. Software Eng, vol.7, pp.25-45, 1999. ,
Formal design and analysis of a gear controller, STTT, vol.3, issue.3, pp.353-368, 2001. ,
Component-based design for the future, Design, Automation and Test in Europe, p.1029, 2011. ,
The ptolemy II framework for visual languages, 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments, p.50, 2001. ,
Embedded System Design -Embedded Systems Foundations of Cyber-Physical Systems, 2011. ,
Sbip 2.0: Statistical model checking stochastic real-time systems, 2018. ,
Temporal verification of reactive systems -safety, 1995. ,
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, pp.541-580, 1989. ,
Verifying properties of parallel programs: An axiomatic approach, Commun. ACM, vol.19, issue.5, pp.279-285, 1976. ,
An order-based algorithm for implementing multiparty synchronization. Concurrency -Practice and Experience, vol.16, pp.1173-1206, 2004. ,
Dynamical properties of timed automata, Discrete Event Dynamic Systems, vol.10, issue.1-2, pp.87-113, 2000. ,
Compositional verification for timed systems based on automatic invariant generation, Logical Methods in Computer Science, vol.11, issue.3, 2015. ,
Rtdfinder: A tool for compositional verification of real-time component-based systems, Tools and Algorithms for the Construction and Analysis of Systems -22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, pp.394-406, 2016. ,
Shrinktech: A tool for the robustness analysis of timed automata, Computer Aided Verification -25th International Conference, CAV 2013, pp.1006-1012, 2013. ,
Shrinking timed automata, Inf. Comput, vol.234, pp.107-132, 2014. ,
The surprising robustness of (closed) timed automata against clock-drift, Fifth IFIP International Conference On Theoretical Computer Science -TCS, pp.537-553, 2008. ,
Petri net analysis using invariant generation, Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp.682-701, 2003. ,
Misconceptions about real-time computing, IEEE Computer, vol.21, issue.10, pp.10-19, 1988. ,
Compositional translation of simulink models into synchronous BIP, IEEE Fifth International Symposium on Industrial Embedded Systems, SIES 2010, pp.217-220, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00558040
Automated conflict-free concurrent implementation of timed component-based models, NASA Formal Methods -7th International Symposium, NFM 2015, pp.359-374, 2015. ,
Quantitative analysis of weighted transition systems, J. Log. Algebr. Program, vol.79, issue.7, pp.689-703, 2010. ,
Verifying progress in timed systems, Formal Methods for RealTime and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, pp.299-314, 1999. ,
Distributed Implementations of Timed Component-based Systems. (Implémentations distribuées des systèmes temps-réel à base de composants), 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01169720
Analysis of timed systems using timeabstracting bisimulations. Formal Methods in System Design, vol.18, pp.25-68, 2001. ,
Robustness and implementability of timed automata. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.118-133, 2004. ,
A programming model for timesynchronized distributed real-time systems, Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.259-268, 2007. ,