Search - Equipe Autonomic and Critical Embedded Systems Access content directly

Filter your results

339 Results
language_s : English
Image document

A graph theoretical characterization of minimal deadlocks in Petri nets

Jean-Claude Bermond , Gerard Memmi
Graph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
Conference papers hal-02447228v1
Image document

Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project

J Hugues , Laurent Pautet , B Zalila , P Dissaux , M Perrotin
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270096v1
Image document

COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models

I Perseil , Laurent Pautet
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Conference papers hal-02270295v1
Image document

Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain

Julien Delange , Jérôme Hugues , Laurent Pautet , Bechir Zalila
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270097v1

Complementing Ada with other programming languages

Samuel Tardieu , Alexis Polti
ACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
Conference papers hal-00479569v1

An Emerging Need for a New Software Engineering Method

Laurent Pautet , Isabelle. Perseil
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
Conference papers hal-02286672v1

Model driven code generation for critical and adaptative embedded systems

Etienne Borde , Peter H. Feiler , Gregory Haïk , Laurent Pautet
ACM SIGBED Review, 2009, 6 (3), pp.10:1-10:5
Journal articles hal-02286671v1

Validate, Simulate and Implement ARINC653 Systems using the AADL

Julien Delange , Laurent Pautet , Alain Plantec , Mickael Kerboeuf , Frank Singhoff , et al.
ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Journal articles hal-00745370v1
Image document

A Decentralised Architecture for Multi-Objective Autonomic Management

Sylvain Frey , Philippe Lalanda , Ada Diaconescu
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 2010, pp.267. ⟨10.1109/SASO.2010.34⟩
Journal articles hal-00879548v1

Service Orchestration with Orcharts and Typecharts

Elie Najm
Seminaire INRIA, Mar 2010, Rennes, France
Conference papers hal-02278638v1

Introduction to special issue: papers from UML&FM'2009

Isabelle. Perseil , Jean-Michel Bruel , Agusti Canals , Robert de Simone , Sébastien Gérard , et al.
Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
Journal articles hal-02286673v1

Panel session on AADL and its annexes

J. Hugues , Laurent Pautet , M Filali , Frank Singhoff
15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), Mar 2010, Oxford, United Kingdom
Conference papers hal-00652435v1
Image document

Modeling and Validation of ARINC653 architectures

Julien Delange , Laurent Pautet , Fabrice Kordon
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Conference papers hal-02269428v1
Image document

Early Error Detection for Fault Tolerance Strategies

Thomas Robert , Matthieu Roy , Jean-Charles Fabre
18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168
Conference papers hal-00546934v1

An Efficient Modeling and Execution Framework for Complex Systems Development

Isabelle. Perseil , Laurent Pautet
International Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331
Conference papers hal-02288369v1

Controllability of Orchestrated Sessions

Elie Najm
Invited Talk - WWV'11, 7th Int'l Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland
Conference papers hal-02288310v1

Publish/Subscribe for Wireless Sensor Networks (Invited paper)

Claude Chaudet , Isabelle Demeure , Salma Ktari , Nicola Costagliola , Samuel Tardieu
Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
Conference papers hal-02278598v1
Image document

Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems

Mathieu Jan , Christophe Jouvray , Fabrice Kordon , Antonio Kung , Jimmy Lalande , et al.
Software: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
Journal articles istex inria-00628310v1

Architectural Integration Patterns for Autonomic Management Systems

Sylvain Frey , Ada Diaconescu , Isabelle Demeure
9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia
Conference papers hal-02286263v1
Image document

Building an Efficient Overlay for Publish/Subscribe in Wireless Sensor Networks

Claude Chaudet , Nicola Costagliola , Isabelle Demeure , Salma Ktari , Samuel Tardieu
9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON), Jun 2012, Seoul, South Korea. pp.362-370, ⟨10.1109/SECON.2012.6275798⟩
Conference papers hal-00780006v1

Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models

Fabien Cadoret , Etienne Borde , Sébastien Gardoll , Laurent Pautet
ICECCS 2012, Jul 2012, Paris, France
Conference papers hal-02286400v1
Image document

Gardening Cyber-Physical Systems

Susan Stepney , Ada Diaconescu , René Doursat , Jean-Louis Giavitto , Taras Kowaliw , et al.
Unconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1
Conference papers hal-01161014v1

Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols

Nouha Oualha , Jean Leneutre , Yves Roudier
Peer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243
Journal articles hal-02286502v1
Image document

Controlling self-organising software applications with archetypes

Bassem Debbabi , Ada Diaconescu , Philippe Lalanda
IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2012, Lyon, France. ⟨10.1109/SASO.2012.21⟩
Conference papers hal-02286412v1

Openflow and on demand networks

Mounira Msahli , Guy Pujolle , Ahmed Serhrouchni , Ahmad Fadlallah , Fouad Guenane
2012 Third International Conference on the Network of the Future (NOF), Nov 2012, Tunis, Tunisia. pp.1-5, ⟨10.1109/NOF.2012.6464006⟩
Conference papers hal-02354918v1

Towards a model driven refinement process through architecture evaluation

Grzegorz Loniewski , Etienne Borde , Emilio Insfran
NFPinDSML '12, Dec 2012, Innsbruck, Austria. pp.4:1-4:6, ⟨10.1145/2420942.2420946⟩
Conference papers hal-02286708v1

Autonomic Computing: Principles, Design and Implementation

Philippe Lalanda , Julie Mccann , Ada Diaconescu
Springer, pp.298, 2013
Books hal-02286670v1

Model-Based Code Generation

Laurent Pautet , B. Zalila
Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
Book sections hal-02286688v1
Image document

An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption

Vincent Legout , Mathieu Jan , Laurent Pautet
First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
Conference papers hal-00919169v1

Autonomic Computing - Principles, Design and Implementation

Philippe Lalanda , Mccann A. Julie , Ada Diaconescu
Springer, pp.288, 2013, Undergraduate Topics in Computer Science, 978-1-4471-5007-7. ⟨10.1007/978-1-4471-5007-7⟩
Books hal-00854882v1