Model checking via reachability testing for timed automata, Lecture Notes in Computer Science, vol.1384, pp.263-280, 1998. ,
DOI : 10.1007/BFb0054177
Specification and verification of time requirements with CCSL and Esterel, Int. Conf. on Languages Compilers, and Tools for Embedded Systems (LCTES'09), pp.167-176, 2009. ,
DOI : 10.1145/1543136.1542475
A theory of timed automata ,
VHDL observers for clock constraint checking, International Symposium on Industrial Embedded System (SIES), pp.98-107, 2010. ,
DOI : 10.1109/SIES.2010.5551372
Modeling Time(s), 10th Intern. Conf on Model Driven Engineering Languages and Systems (MODELS '07), number 4735 in LNCS, pp.559-573 ,
DOI : 10.1007/978-3-540-75209-7_38
Representation and analysis of reactive behavior: a synchronous approach, Computational Engineering in Systems Applications (CESA), pp.19-29, 1996. ,
Syntax and semantics of the clock constraint specification language (ccsl) Rapport de recherche 6925, p.5, 2009. ,
Verification of clock constraints: CCSL observers in Esterel, Research Report, vol.7211, 2010. ,
Specification of Timing extensions, 2009. ,
Testing Conformance of Real-Time Applications by Automatic Generation of Observers, Electronic Notes in Theoretical Computer Science, vol.113, pp.23-43, 2005. ,
DOI : 10.1016/j.entcs.2004.01.036
Permutation of transitions: An event structure semantics for CCS and SCCS, Lecture Notes in Computer Science, vol.354, pp.411-427 ,
DOI : 10.1007/BFb0013028
Composing heterogeneous reactive systems, ACM Transactions on Embedded Computing Systems, vol.7, issue.4, 2008. ,
DOI : 10.1145/1376804.1376811
URL : https://hal.archives-ouvertes.fr/inria-00555841
Tag machines BIBLIOGRAPHY The synchronous languages twelve years later, Proceedings of the IEEE, pp.255-26364, 2003. ,
The foundations of Esterel, Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000. ,
Formal evaluation of quality of service for data acquisition, FDL, pp.579-589, 2005. ,
Defining precise semantics for UML, Lecture Notes in Computer Science, pp.113-122, 1964. ,
Managing Complexity of Automotive Electronics Using the EAST-ADL, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), pp.353-358, 2007. ,
DOI : 10.1109/ICECCS.2007.28
N-synchronous kahn networks: a relaxed model of synchrony for real-time systems, POPL, pp.180-193, 2006. ,
Transaction level modeling: an overview ,
DOI : 10.1109/codess.2003.1275250
Translating AADL into BIP - Application to the Verification of Real-Time Systems, MoDELS Workshops, pp.5-19 ,
DOI : 10.1007/978-3-540-77419-8_5
Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003. ,
DOI : 10.1109/JPROC.2002.805829
Symbolic model checking of UML activity diagrams, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, pp.1-38, 2006. ,
DOI : 10.1145/1125808.1125809
The architecture analysis & design language (AADL): An introduction, 2006. ,
Extending statecharts with process algebra operators, Innovations in Systems and Software Engineering, vol.5, issue.4 ,
DOI : 10.1007/s11334-008-0064-1
URL : https://hal.archives-ouvertes.fr/hal-01223276
Flow latency analysis with the architecture analysis and design language, 2007. ,
USE: A UML-based specification environment for validating UML and OCL, Science of Computer Programming, vol.69, issue.1-3, pp.1-327, 2007. ,
DOI : 10.1016/j.scico.2007.01.013
Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing, Multidimensional Systems and Signal Processing, pp.105-131, 2009. ,
DOI : 10.1007/s11045-009-0085-4
URL : https://hal.archives-ouvertes.fr/inria-00522751
Using use cases in Executable Z, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods, pp.111-120, 2000. ,
DOI : 10.1109/ICFEM.2000.873811
Causal automata, Theoretical Computer Science, vol.101, issue.2, pp.265-288, 1992. ,
DOI : 10.1016/0304-3975(92)90052-H
URL : http://doi.org/10.1016/0304-3975(92)90052-h
MAST: Modeling and analysis suite for real time applications, Proceedings 13th Euromicro Conference on Real-Time Systems, pp.125-134, 2001. ,
DOI : 10.1109/EMRTS.2001.934015
System level performance analysis -the symta/s approach. Computers and Digital Techniques, IEE Proceedings, pp.148-166, 2005. ,
Synchronous Observers and the Verification of Reactive Systems, AMAST '93: Proceedings of the Third International Conference on Methodology and Software Technology, pp.83-96, 1994. ,
DOI : 10.1007/978-1-4471-3227-1_8
Communicating sequential processes, Commun. ACM, vol.21, issue.8, pp.666-677, 1978. ,
Modeling Embedded Systems and SoCs -Concurrency and Time in Models of Computation. Systems on silicon, 2003. ,
Virtual execution of AADL models via a translation into synchronous programs, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.134-143, 2007. ,
DOI : 10.1145/1289927.1289951
URL : https://hal.archives-ouvertes.fr/hal-00189563
ATESST timing model, 2008. ,
The semantics of a simple language for parallel programming, Information Processing, pp.471-475, 1974. ,
True concurrency = interleaving concurrency + weak conflict, Electr. Notes Theor. Comput. Sci, vol.14, 1998. ,
Properties of a model for parallel computations: Determinacy, termination, queueing, SIAM Journal on Applied Mathematics, vol.14, issue.6, pp.1390-1411, 1966. ,
Time, clocks, and the ordering of events in a distributed system, Int. Conf. on Embedded and Real-Time Software, ERTS, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
What's ahead for embedded software?, IEEE Computer, vol.33, issue.9, pp.18-26, 2000. ,
Static scheduling of synchronous data flow programs for digital signal processing, IEEE Trans. Computers, vol.36, issue.1, pp.24-35, 1987. ,
Dealing with AADL end-to-end flow latency with UML MARTE, 13th International Conference on Engineering of Complex Computer Systems (ICECCS'08), pp.228-233, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00371400
A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998. ,
DOI : 10.1109/43.736561
On the semantics of UML/Marte clock constraints on Object/component/service-oriented Real-time distributed Computing (ISORC'09), Int. Symp, pp.301-312, 2009. ,
Modeling of immediate vs. delayed data communications: from AADL to UML Marte ,
URL : https://hal.archives-ouvertes.fr/inria-00204484
CCSL: specifying clock constraints with UML/Marte, Innovations in Systems and Software Engineering, pp.309-314, 2008. ,
DOI : 10.1007/s11334-008-0055-2
URL : https://hal.archives-ouvertes.fr/inria-00371371
Interpolation and SAT-based model checking, Lecture Notes in Computer Science, vol.2725, pp.1-13, 2003. ,
The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.127, issue.4, pp.99-106, 2010. ,
DOI : 10.1007/s11334-009-0109-0
URL : https://hal.archives-ouvertes.fr/inria-00464894
AADL for Discrete- Event and Discrete-Time Domains, LNEE, vol.36, issue.2, pp.27-41, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00416656
Event-triggered vs. time-triggered communications with UML MARTE, 2008 Forum on Specification, Verification and Design Languages, pp.154-159, 2008. ,
DOI : 10.1109/FDL.2008.4641438
URL : https://hal.archives-ouvertes.fr/inria-00371392
Model-Based Design for On-Chip Systems: using and extending Marte and IP-Xact, 2010. ,
A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980. ,
DOI : 10.1007/3-540-10235-3
IP-XACT components with abstract time characterization, Forum on specification , verification & Design Languages, FDL'09. ECSI, 2009. ,
Multidimensional synchronous dataflow, Multidimensional synchronous dataflow. Signal Processing BIBLIOGRAPHY [MPA08] Frédéric Mallet, Marie-Agnès Peraldi-Frati, and Charles André. Marte CCSL and East-ADL2 timing requirements, pp.2064-2079, 2002. ,
DOI : 10.1109/TSP.2002.800830
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.4203
Marte CCSL to Execute East-ADL Timing Requirements, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.249-253, 2009. ,
DOI : 10.1109/ISORC.2009.18
URL : https://hal.archives-ouvertes.fr/inria-00383262
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000. ,
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077
Petri nets, event structures and domains, Semantics of Concurrent Computation, pp.266-284, 1979. ,
DOI : 10.1007/BFb0022474
Petri nets, event structures and domains, part I, Theoretical Computer Science, vol.13, issue.1, pp.85-108, 1981. ,
DOI : 10.1016/0304-3975(81)90112-2
UML Profile for Schedulability, Performance, and Time Specification , v1.1. Object Management Group, pp.5-6, 2005. ,
Object Constraint Language, v2.0. Object Management Group, pp.2006-2011, 2006. ,
Systems Modeling Language (SysML) Specification, v1.1. Object Management Group, pp.8-11, 2008. ,
Object Management Group, pp.2009-2020, 2009. ,
Object Management Group, pp.2009-2011, 2009. ,
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems, Proceedings of the tenth international symposium on Hardware/software codesign , CODES '02, pp.187-192, 2002. ,
DOI : 10.1145/774789.774828
Concurrency theory, Petri Nets: Central Models and their properties, pp.4-24, 1987. ,
LTS semantics for use case models, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.365-370, 2009. ,
DOI : 10.1145/1529282.1529362
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.637
Checking Safety Properties Using Induction and a SAT-Solver, Lecture Notes in Computer Science, pp.108-125, 1954. ,
DOI : 10.1007/3-540-40922-X_8
Semantics and verification of data flow in UML 2 ,
Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), pp.101-104, 2000. ,
DOI : 10.1109/ISCAS.2000.858698
Systems Engineering with SysML/UML: Modeling, Analysis , Design. The MK, 2008. ,
Event structures, Advances in Petri Nets, pp.325-392, 1986. ,
DOI : 10.1007/3-540-17906-2_31
URL : https://hal.archives-ouvertes.fr/hal-00148921
Scenario-Based Static Analysis of UML Class Models ,
DOI : 10.1007/978-3-540-87875-9_17
Using pi -calculus to formalize UML activity diagram, ECBS, pp.47-54, 2003. ,
Polychronous Analysis of Timing Constraints in UML MARTE, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, p.7, 2010. ,
DOI : 10.1109/ISORCW.2010.10
URL : https://hal.archives-ouvertes.fr/inria-00497249
Virtual prototyping AADL architectures in a polychronous model of computation, MEMOCODE, pp.139-148, 2008. ,
Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts, Presses Polytechniques et Universitaires Romandes, Lausane (CH), 2005. ,