Model checking via reachability testing for timed automata, Lecture Notes in Computer Science, vol.1384, pp.263-280, 1998. ,
Specification and verification of time requirements with CCSL and esterel, Int. Conf. on Languages Compilers, and Tools for Embedded Systems (LCTES'09), vol.44, pp.167-176, 2009. ,
A theory of timed automata, Theoret. Comp. Sci, vol.126, issue.2, pp.183-235, 1994. ,
VHDL observers for clock constraint checking, Symposium on Industrial Embedded Systems (SIES), pp.98-107, 2010. ,
Modeling time(s), 10th Intern. Conf on Model Driven Engineering Languages and Systems (MODELS '07), pp.559-573, 2007. ,
Representation and analysis of reactive behavior: a synchronous approach, Computational Engineering in Systems Applications (CESA), pp.19-29, 1996. ,
Computing synccharts reactions, Electronic Notes in Theoretical Computer Science, vol.88, pp.3-19, 2004. ,
Syntax and semantics of the clock constraint specification language (ccsl), INRIA, 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. ,
Permutation of transitions: An event structure semantics for CCS and SCCS, REX Workshop, vol.354, pp.411-427 ,
, , 1988.
Composing heterogeneous reactive systems, ACM Trans. Embedded Comput. Syst, vol.7, issue.4, 2008. ,
The synchronous languages twelve years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003. ,
Uppaal 4.0, QEST, pp.125-126, 2006. ,
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, vol.1964, pp.113-122 ,
, , 2000.
, Modeling statecharts and activitycharts as signal equations
, ACM Trans. Softw. Eng. Methodol, vol.10, issue.4, pp.397-451, 2001.
Managing complexity of automotive electronics using the East-ADL, Proc. of the 12th IEEE Int. Conf. on Engineering Complex Computer Systems (ICECCS'07), pp.353-358, 2007. ,
N-synchronous kahn networks: a relaxed model of synchrony for real-time systems, pp.180-193, 2006. ,
Transaction level modeling: an overview ,
, CODES+ISSS, pp.19-24, 2003.
Ensuring uml models consistency using the ocl environment ,
, Electr. Notes Theor. Comput. Sci, vol.102, pp.99-110, 2004.
Translating AADL into BIP -application to the verification of real-time systems, Lecture Notes in Computer Science, vol.5421, pp.5-19 ,
, , 2008.
Taming heterogeneity -the ptolemy approach, Proceedings of the IEEE, vol.91, pp.127-144, 2003. ,
Symbolic model checking of UML activity diagrams, ACM Trans. Softw. Eng. Methodol, vol.15, issue.1, pp.1-38, 2006. ,
An ocl extension for real-time constraints, Object Modeling with the OCL, vol.2263, pp.150-171, 2002. ,
The architecture analysis & design language (AADL): An introduction, 2006. ,
, ISSE, vol.4, issue.3, pp.285-292, 2008.
Flow latency analysis with the architecture analysis and design language, 2007. ,
Use: A uml-based specification environment for validating uml and ocl, Sci. Comput. Program, vol.69, issue.1-3, pp.27-34, 2007. ,
Array-OL with delays, a domain specific specification language for multidimensional intensive signal processing, Multidimensional Systems and Signal Processing, vol.21, issue.2, pp.105-131, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00522751
Using use cases in executable z, ICFEM, pp.111-120, 2000. ,
, Jeremy Gunawardena. Causal automata. Theor. Comput. Sci, vol.101, issue.2, pp.265-288, 1992.
Synchronous Programming of Reactive Systems ,
Mast: Modeling and analysis suite for real time applications, ECRTS, pp.125-134, 2001. ,
System level performance analysis -the symta/s approach. Computers and Digital Techniques, IEE Proceedings, vol.152, issue.2, 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. ,
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, EMSOFT, pp.134-143, 2007. ,
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, Commun. ACM, vol.21, issue.7, pp.558-565, 1978. ,
Bridging UML and safety-critical software development environments, Int. Conf. on Embedded and Real-Time Software, 2006. ,
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-00200834
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. ,
On the semantics of UML/Marte clock constraints, Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), pp.301-312, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00383279
Modeling of immediate vs. delayed data communications: from AADL to UML Marte ,
URL : https://hal.archives-ouvertes.fr/inria-00204484
, , pp.249-254, 2007.
CCSL: specifying clock constraints with UML/Marte, Innovations in Systems and Software Engineering, vol.4, issue.3, pp.309-314, 2008. ,
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.6, issue.1-2, pp.99-106, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00464894
AADL for DiscreteEvent and Discrete-Time Domains, LNEE, chapter, vol.36, pp.27-41, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00416656
Event-triggered vs. time-triggered communications with UML Marte, Forum on Specification, Verification and Design Languages, pp.154-159, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00371392
Model-Based Design for On-Chip Systems: using and extending Marte and IP-Xact, 2010. ,
A Study of the Recoverability of Computer Systems. PhD, 1974. ,
A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980. ,
IP-XACT components with abstract time characterization, Forum on specification, verification & Design Languages, FDL'09. ECSI, 2009. ,
Multidimensional synchronous dataflow. Signal Processing, IEEE Transactions on, vol.50, issue.8, pp.2064-2079, 2002. ,
Marte CCSL and East-ADL2 timing requirements, Research Report, vol.6781, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00348134
Marte CCSL to execute East-ADL timing requirements, Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), pp.249-253, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00383262
A classification and comparison framework for software architecture description languages, IEEE Trans. Software Eng, vol.26, issue.1, pp.70-93, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00444077
Petri nets, event structures and domains, Semantics of Concurrent Computation, vol.70, pp.266-284, 1979. ,
Petri nets, event structures and domains, part i. Theor, Comput. Sci, vol.13, pp.85-108, 1981. ,
Profile for Schedulability, Performance, and Time Specification, v1.1. Object Management Group, 2005. ,
Object Constraint Language, v2.0. Object Management Group, pp.2006-2011, 2006. ,
Systems Modeling Language (SysML) Specification, v1.1. Object Management Group, 2008. ,
, UML Profile for MARTE, v1.0. Object Management Group, 2009.
Superstructure, v2.2. Object Management Group, 2009. ,
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems, CODES, pp.187-192, 2002. ,
Concurrency theory, Petri Nets: Central Models and their properties, vol.254, pp.4-24, 1987. ,
, IEEE standard for Property Specification Language (PSL), IEEE std, 1850.
Lts semantics for use case models, SAC, pp.365-370, 2009. ,
Checking safety properties using induction and a sat-solver, Lecture Notes in Computer Science, vol.1954, pp.108-125, 2000. ,
Semantics and verification of data flow in UML 2.0 activities ,
, Electr. Notes Theor. Comput. Sci, vol.127, issue.4, pp.35-52, 2005.
Real-time calculus for scheduling hard real-time systems, International Symposium on Circuits and Systems ISCAS 2000, vol.4, pp.101-104, 2000. ,
, The East-EEA Project. Definition of language for automotive embedded electronic architecture approach, 2004.
East-ADL2 specification, 2008. ,
Systems Engineering with SysML/UML: Modeling, Analysis, Design. The MK/OMG Press, 2008. ,
Event structures, Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, vol.255, pp.325-392, 1986. ,
URL : https://hal.archives-ouvertes.fr/hal-00148921
Events, causality and symmetry, BCS Int. Acad. Conf, pp.111-127, 2008. ,
Scenario-based static analysis of uml class models, Lecture Notes in Computer Science, vol.5301, pp.234-248, 2008. ,
Polychronous analysis of timing constraints in UML MARTE, MoBE-RTES 2010, p.7, 2003. ,
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.