, Model-based implementation of real-time applications, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.229-238
DOI : 10.1145/1879021.1879052
, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Transactions on Computer Systems, vol.2, issue.2, pp.93-122, 1984.
DOI : 10.1145/190.191
, Automata for modeling real-time systems
DOI : 10.1007/BFb0032042
, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8
, Reactive modules. Formal Methods in System Design, pp.7-48, 1999.
DOI : 10.1109/lics.1996.561320
, Behavioural semantics for asynchronous components, Journal of Logical and Algebraic Methods in Programming, vol.89, 2012.
DOI : 10.1016/j.jlamp.2017.02.003
URL : https://hal.archives-ouvertes.fr/hal-00761073
, Syntax and Semantics of the Clock Constraint Specification Language (CCSL) Rapport de recherche RR-6925, INRIA REFERENCES [8] Charles André, Frédéric Mallet al. Time modeling in marte, ECSI Forum on specification & Design Languages (FDL), pp.268-273, 2007.
, VHDL observers for clock constraint checking, International Symposium on Industrial Embedded System (SIES), 2010.
DOI : 10.1109/SIES.2010.5551372
, Finite transition systems: semantics of communicating systems, 1994.
, On discretization of delays in timed automata and digital circuits, 1998.
DOI : 10.1007/BFb0055642
, Hardware-software co-design of embedded systems: the POLIS approach, 1997.
DOI : 10.1007/978-1-4615-6127-9
, Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, 2009.
DOI : 10.1007/s12243-008-0069-7
URL : https://hal.archives-ouvertes.fr/inria-00268965
, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.11-15, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
, Uppaal ? a Tool Suite for Automatic Verification of Real?Time Systems
, Timed Automata: Semantics, Algorithms and Tools, Lectures on Concurrency and Petri Nets, pp.87-124
DOI : 10.1007/978-3-540-27755-2_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701
, Compositional verification for component-based systems and application. IET software, pp.181-193, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00568866
, From Synchrony to Asynchrony, 1999.
DOI : 10.1007/3-540-48320-9_13
URL : https://hal.archives-ouvertes.fr/inria-00073032
, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E
, Embedding synchronous circuits in gals-based systems, Sophia-Antipolis conference on Micro-Electronics (SAME 98, 1998.
, Real time programming: Special purpose or general purpose languages, 1989.
URL : https://hal.archives-ouvertes.fr/inria-00075494
, The foundations of esterel, Proof, language, and interaction, pp.425-454, 2000.
, Hiphop, Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients, PLASTIC '11, pp.49-56, 2001.
DOI : 10.1145/2093328.2093337
URL : https://hal.archives-ouvertes.fr/hal-00911782
, Hop and HipHop: Multitier Web Orchestration, Distributed Computing and Internet Technology, pp.1-13, 2014.
DOI : 10.1007/978-3-319-04483-5_1
URL : https://hal.archives-ouvertes.fr/hal-00911782
, Modeling and verification of time dependent systems using time Petri nets, IEEE Transactions on Software Engineering, vol.17, issue.3, pp.259-273, 1991.
DOI : 10.1109/32.75415
, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062
, SysML and UML 2 support for activity modeling, Systems Engineering, vol.4, issue.2, pp.160-186, 2006.
DOI : 10.1002/sys.20046
, The ESTEREL language, Proceedings of the IEEE, pp.1293-1304, 1991.
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075
, Protocol verification with the ALD??BARAN toolset, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.166-183, 1997.
DOI : 10.1007/s100090050012
, The IF Toolset, Formal Methods for the Design of Real-Time Systems, pp.237-267, 2004.
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307
, Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I, 1986.
, Asynchronous sequential processes. Information and Computation, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00071834
, Towards seamless computing and metacomputing in java. Concurrency Practice and Experience, pp.11-131043, 1998.
DOI : 10.1002/(sici)1096-9128(199809/11)10:11/13<1043::aid-cpe413>3.3.co;2-y
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.7747
, Discrete event systems: modeling and performance analysis, 1993.
, On the impossibility of group membership, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, pp.322-330, 1996.
, Globally-asynchronous locally-synchronous systems, 1984.
, STeC: A Location-Triggered Specification Language for Real-Time Systems, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pp.1-6, 2012.
DOI : 10.1109/ISORCW.2012.11
, Hardware-software codesign of embedded systems, pp.26-36, 1994.
, TimeSquare: Treat Your Models with Logical Time, TOOLS -50th International Conference on Objects, pp.34-41, 2012.
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590
, A time-centric model for cyber-physical applications, Workshop REFERENCES on Model Based Architecting and Construction of Embedded Systems (ACES-MB), pp.21-35, 2010.
, Distributed Real-Time Software for Cyber–Physical Systems, Proceedings of the IEEE, vol.100, issue.1, pp.45-59, 2012.
DOI : 10.1109/JPROC.2011.2161237
, The architecture analysis & design language (aadl): An introduction, 2006.
, Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 1991.
DOI : 10.1109/2.84874
, Timestamps in message-passing systems that preserve the partial ordering, Proceedings of the 11th Australian Computer Science Conference, pp.56-66, 1988.
, Impossibility of distributed consensus with one faulty process, Journal of the ACM (JACM), vol.32, issue.2, pp.374-382, 1985.
, Discrete-event simulation: modeling, programming, and analysis, 2001.
, Evaluation Based Upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol, Application and Theory of Petri Nets, pp.280-288, 1982.
DOI : 10.1007/978-3-642-68353-4_45
, Time properties dedicated transformation from uml-marte activity to time transition system, ACM SIGSOFT Software Engineering Notes, vol.37, issue.4, pp.1-8, 2012.
, Composition for component-based modeling, REFERENCES [52] Sei. open source aadl tool environment, pp.161-183, 2005.
DOI : 10.1016/j.scico.2004.05.014
URL : https://hal.archives-ouvertes.fr/hal-00665169
, Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation, 2004.
, Virtual time, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.7, issue.3, pp.404-425, 1985.
, timing model and methodology for autosa, Elektronik Automotive. Special issue AUTOSAR, 2007.
, Modelintegrated development of embedded software, Proceedings of the IEEE, pp.145-164, 2003.
, Coloured petri nets: Basic concepts, analysis methods and practical use, EATCS Monographs on Theoretical Computer Science, 1997.
, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563
, Modeling concurrent real-time processes using discrete events, Annals of Software Engineering, vol.7, issue.1-4, pp.25-45, 1999.
, Model-driven development-from object-oriented design to actor-oriented design, Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation (aka The Monterey Workshop), 2003.
, The semantics of dataflow with firing. From Semantics to Computer Science: Essays in memory of Gilles Kahn Ieee 1588-standard for a precision clock synchronization protocol for networked measurement and control systems, Conference on IEEE, 2005.
, Highly available distributed services and fault-tolerant distributed garbage collection, Proceedings of the fifth annual ACM symposium on Principles of distributed computing , PODC '86, pp.29-39, 1986.
DOI : 10.1145/10590.10593
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.3601
, Clock constraint specification language: specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, pp.309-314, 2008.
DOI : 10.1007/s11334-008-0055-2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.5738
, Executing AADL Models with UML/MARTE, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.371-376, 2009.
DOI : 10.1109/ICECCS.2009.10
URL : https://hal.archives-ouvertes.fr/inria-00416592
, Virtual time and global states of distributed systems, Parallel and Distributed Algorithms, vol.1, issue.23, pp.215-226, 1989.
, Recoverability of communication protocols?implications of a theoretical study, Communications IEEE Transactions on, vol.24, issue.9, pp.1036-1043, 1976.
, Simple network time protocol (sntp) version 4 for ipv4, ipv6 and osi, 2006.
, The Open Provenance Model core specification (v1.1), Future Generation Computer Systems, vol.27, issue.6, pp.743-756, 2011.
DOI : 10.1016/j.future.2010.07.005
, Detection of mutual inconsistency in distributed systems, Software Engineering IEEE Transactions on, issue.3, pp.240-247, 1983.
, A distributed algorithm to prevent mutual drift between n logical clocks, Information Processing Letters, vol.24, issue.3, pp.199-202, 1987.
DOI : 10.1016/0020-0190(87)90186-4
, Performance analysis using timed petri nets, PSTV, pp.561-576, 1984.
, Discarding obsolete information in a replicated database system. Software Engineering, IEEE Transactions on, issue.1, pp.39-47, 1987.
, The use of efficient broadcast protocols in asynchronous distributed systems, 1988.
, Hop, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '06
DOI : 10.1145/1176617.1176756
URL : https://hal.archives-ouvertes.fr/hal-00498507
, Cyberphysical systems: A new frontier, Machine Learning in Cyber Trust, pp.3-13, 2009.
, Use of petri nets for performance evaluation, Acta Cybern, vol.4, pp.185-202, 1980.
, Optimistic recovery in distributed systems, ACM Transactions on Computer Systems, vol.3, issue.3, pp.204-226, 1985.
DOI : 10.1145/3959.3962
, Frédéric Mallet, and Paul Pettersson Verifying marte/ccsl mode behaviors using uppaal, Software Engineering and Formal Methods, pp.1-15, 2013.
, On non-decidability of reachability for timed-arc Petri nets, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), pp.188-196, 1999.
DOI : 10.1109/PNPM.1999.796565
, Interval timed coloured petri nets and their analysis. In Application and Theory of Petri Nets, pp.453-472, 1993.
, Analysis of railway stations by means of interval timed coloured petri nets. Real-time systems, pp.241-263, 1995.
, Information systems engineering: a formal approach, 1994.
, Executable specifications for distributed information systems, Information System Concepts: An In-depth Analysis, pp.139-156, 1989.
, M2m: From mobile to embedded internet, Communications Magazine IEEE, vol.49, issue.4, pp.36-43, 2011.
, On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC, 2013 International Symposium on Theoretical Aspects of Software Engineering, pp.113-120, 2013.
DOI : 10.1109/TASE.2013.16
, Efficient solutions to the replicated log and dictionary problems. Operating systems review, pp.57-66, 1986.
, Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems, 2000.
, Timed petri nets and preliminary performance evaluation, Proceedings of the 7th annual symposium on Computer Architecture, pp.88-96, 1980.
, Timed-pNets: a communication behavioural semantic model for distributed systems, Frontiers of Computer Science, vol.8049, issue.1, 2014.
DOI : 10.1007/s11704-014-4096-4
URL : https://hal.archives-ouvertes.fr/hal-01086091
, Real-time Scheduling in Cyber Physical System, Journal of CEAI, vol.13, issue.3, pp.41-50, 2011.
, Investigation on Time Properties of Timed-pNets, Journal of Computer Science, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01097783
, Timed-pNets: A formal communication behavior model for real-time CPS system, Trustworthy Cyber-Physical Systems, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00725328
, Implementation and optimization of RDF query using Hadoop First International Conference on Cloud Computing and Services Science (CLOSER). (2011.) list of figures 1.1 VCD view of an example
, 95 4.17 system's specification checking, p.96
, 97 4.19 system's specification checking, p.98
, 173 list of tables 6.1 Calculate the Way of Partition X, p.138