The Experts below are selected from a list of 312 Experts worldwide ranked by ideXlab platform
Franco Gasperoni - One of the best experts on this subject based on the ideXlab platform.
-
high integrity systems development for integrated modular Avionics using vxworks and gnat
International Conference on Reliable Software Technologies, 2002Co-Authors: Paul Parkinson, Franco GasperoniAbstract:This paper presents recent trends in avoinics systems development from bespoke systems throgh to COTS and emerging Integrated Modular Avionics architectures. The advances in Ada and RTOS technologies are explained and the impact of requirements for RTCA/DO-178B and EUROCAE/ED-12B certification and achievements are presented in the context of the GNAT and VxWorks technologies.
Abdoulaye Gamatié - One of the best experts on this subject based on the ideXlab platform.
-
A Modeling Paradigm for Integrated Modular Avionics Design
2005Co-Authors: Christian Brunette, Abdoulaye Gamatié, Thierry Gautier, Romain Delamare, Jean-pierre TalpinAbstract:The Modeling paradigm for Integrated Modular Avionics Design (MIMAD) is an extensible component-oriented framework that enables high level models of systems designed on integrated modular Avionics architectures. It relies on the generic modeling environment (GME), a configurable object-oriented toolkit that supports the creation of domain-specific modeling and program synthesis environments. MIMAD is built upon component models dedicated to avionic applications design, which are defined within the POLYCHRONY platform. Hence, its descriptions can be transformed into POLYCHRONY's models in order to access the available formal tools and techniques for validation. Users do not need to be experts of formal methods (in particular, of the synchronous approach) to be able to manipulate the proposed concepts. This contributes to satisfying the present industrial demand on the use of general-purpose modeling formalisms for system design. This paper first presents the main features of MIMAD V0. Then, it illustrates the use of the paradigm to design a simple application example within GME.
-
Polychronous Design of Embedded Real-Time Systems
2005Co-Authors: Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-pierre TalpinAbstract:This report proposes a design methodology for embedded real-time systems using a synchronous multi-clocked framework, which provides a well-defined mathematical model that yields rigorous methodological support for the trusted design, validation and automatic code generation. The presented methodology addresses among others the non trivial issue of modeling asynchronous mechanism using the synchronous paradigm. Among target application domains, we mainly focus on the Avionics area. A library of polychronous models of services has been implemented, based on the avionic standard APEX-ARINC 653. These services describe functionalities of a real-time operating system in integrated modular Avionics architectures. The proposed methodology has been applied to some case studies in Avionics. The library is also the basis for another study that consists of modeling Real-Time Java applications in the polychronous framework. A great advantage is that formal transformation and optimization techniques become enabled. Finally, a major contribution of the work exposed in this report is the convergence between the theory of formal methods, industrial practice and current trends in embedded real-time system design.
-
An Example of Synchronous Design of Embedded Real-Time Systems based on IMA
2004Co-Authors: Abdoulaye Gamatié, Thierry Gautier, Paul Le GuernicAbstract:We present a study on the design of embedded real-time systems in general, and avionic systems in particular. The synchronous language Signal is used to describe a real world avionic application based on the recent Integrated Modular Avionics concept (IMA). The exposed case study shows how the synchronous technology helps for a reliable and modular design of real-time systems. One major advantage of this technology is the availability of formal tools and techniques for verification and validation, which are important for safety-critical systems such as Avionics systems.
Jean-pierre Talpin - One of the best experts on this subject based on the ideXlab platform.
-
Virtual prototyping AADL architectures in a polychronous model of computation
2008Co-Authors: Jean-pierre Talpin, Thierry GautierAbstract:While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both synchronous and asynchronous worlds by considering locally synchronous processes composed in a globally asynchronous way to form so called GALS architectures. In the Avionics domain, for instance, the Architecture Analysis and Design Language (AADL) may be used to describe both the hardware and software architecture of an application at system-level. Yet, a synchronous design formalism might be preferred to model and validate each of the critical components of the architecture in isolation. In this paper, we illustrate the use of the polychronous (multi-clocked synchronous) paradigm to model partially asynchronous applications. The specification formalism SIGNAL is used to describe real-world avionic applications using concepts of Integrated Modular Avionics (IMA). We show how an AADL architecture can be automatically translated into a synchronous model in SIGNAL using these modeling concepts. We present a case study on the design of generic system architecture. The approach is being implemented in the framework of the ANR project TOPCASED.
-
Polychronous Design of Embedded Real-Time Systems
2005Co-Authors: Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-pierre TalpinAbstract:This report proposes a design methodology for embedded real-time systems using a synchronous multi-clocked framework, which provides a well-defined mathematical model that yields rigorous methodological support for the trusted design, validation and automatic code generation. The presented methodology addresses among others the non trivial issue of modeling asynchronous mechanism using the synchronous paradigm. Among target application domains, we mainly focus on the Avionics area. A library of polychronous models of services has been implemented, based on the avionic standard APEX-ARINC 653. These services describe functionalities of a real-time operating system in integrated modular Avionics architectures. The proposed methodology has been applied to some case studies in Avionics. The library is also the basis for another study that consists of modeling Real-Time Java applications in the polychronous framework. A great advantage is that formal transformation and optimization techniques become enabled. Finally, a major contribution of the work exposed in this report is the convergence between the theory of formal methods, industrial practice and current trends in embedded real-time system design.
-
A Modeling Paradigm for Integrated Modular Avionics Design
2005Co-Authors: Christian Brunette, Abdoulaye Gamatié, Thierry Gautier, Romain Delamare, Jean-pierre TalpinAbstract:The Modeling paradigm for Integrated Modular Avionics Design (MIMAD) is an extensible component-oriented framework that enables high level models of systems designed on integrated modular Avionics architectures. It relies on the generic modeling environment (GME), a configurable object-oriented toolkit that supports the creation of domain-specific modeling and program synthesis environments. MIMAD is built upon component models dedicated to avionic applications design, which are defined within the POLYCHRONY platform. Hence, its descriptions can be transformed into POLYCHRONY's models in order to access the available formal tools and techniques for validation. Users do not need to be experts of formal methods (in particular, of the synchronous approach) to be able to manipulate the proposed concepts. This contributes to satisfying the present industrial demand on the use of general-purpose modeling formalisms for system design. This paper first presents the main features of MIMAD V0. Then, it illustrates the use of the paradigm to design a simple application example within GME.
Thierry Gautier - One of the best experts on this subject based on the ideXlab platform.
-
Virtual prototyping AADL architectures in a polychronous model of computation
2008Co-Authors: Jean-pierre Talpin, Thierry GautierAbstract:While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both synchronous and asynchronous worlds by considering locally synchronous processes composed in a globally asynchronous way to form so called GALS architectures. In the Avionics domain, for instance, the Architecture Analysis and Design Language (AADL) may be used to describe both the hardware and software architecture of an application at system-level. Yet, a synchronous design formalism might be preferred to model and validate each of the critical components of the architecture in isolation. In this paper, we illustrate the use of the polychronous (multi-clocked synchronous) paradigm to model partially asynchronous applications. The specification formalism SIGNAL is used to describe real-world avionic applications using concepts of Integrated Modular Avionics (IMA). We show how an AADL architecture can be automatically translated into a synchronous model in SIGNAL using these modeling concepts. We present a case study on the design of generic system architecture. The approach is being implemented in the framework of the ANR project TOPCASED.
-
A Modeling Paradigm for Integrated Modular Avionics Design
2005Co-Authors: Christian Brunette, Abdoulaye Gamatié, Thierry Gautier, Romain Delamare, Jean-pierre TalpinAbstract:The Modeling paradigm for Integrated Modular Avionics Design (MIMAD) is an extensible component-oriented framework that enables high level models of systems designed on integrated modular Avionics architectures. It relies on the generic modeling environment (GME), a configurable object-oriented toolkit that supports the creation of domain-specific modeling and program synthesis environments. MIMAD is built upon component models dedicated to avionic applications design, which are defined within the POLYCHRONY platform. Hence, its descriptions can be transformed into POLYCHRONY's models in order to access the available formal tools and techniques for validation. Users do not need to be experts of formal methods (in particular, of the synchronous approach) to be able to manipulate the proposed concepts. This contributes to satisfying the present industrial demand on the use of general-purpose modeling formalisms for system design. This paper first presents the main features of MIMAD V0. Then, it illustrates the use of the paradigm to design a simple application example within GME.
-
Polychronous Design of Embedded Real-Time Systems
2005Co-Authors: Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-pierre TalpinAbstract:This report proposes a design methodology for embedded real-time systems using a synchronous multi-clocked framework, which provides a well-defined mathematical model that yields rigorous methodological support for the trusted design, validation and automatic code generation. The presented methodology addresses among others the non trivial issue of modeling asynchronous mechanism using the synchronous paradigm. Among target application domains, we mainly focus on the Avionics area. A library of polychronous models of services has been implemented, based on the avionic standard APEX-ARINC 653. These services describe functionalities of a real-time operating system in integrated modular Avionics architectures. The proposed methodology has been applied to some case studies in Avionics. The library is also the basis for another study that consists of modeling Real-Time Java applications in the polychronous framework. A great advantage is that formal transformation and optimization techniques become enabled. Finally, a major contribution of the work exposed in this report is the convergence between the theory of formal methods, industrial practice and current trends in embedded real-time system design.
-
An Example of Synchronous Design of Embedded Real-Time Systems based on IMA
2004Co-Authors: Abdoulaye Gamatié, Thierry Gautier, Paul Le GuernicAbstract:We present a study on the design of embedded real-time systems in general, and avionic systems in particular. The synchronous language Signal is used to describe a real world avionic application based on the recent Integrated Modular Avionics concept (IMA). The exposed case study shows how the synchronous technology helps for a reliable and modular design of real-time systems. One major advantage of this technology is the availability of formal tools and techniques for verification and validation, which are important for safety-critical systems such as Avionics systems.
Paul Le Guernic - One of the best experts on this subject based on the ideXlab platform.
-
Polychronous Design of Embedded Real-Time Systems
2005Co-Authors: Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-pierre TalpinAbstract:This report proposes a design methodology for embedded real-time systems using a synchronous multi-clocked framework, which provides a well-defined mathematical model that yields rigorous methodological support for the trusted design, validation and automatic code generation. The presented methodology addresses among others the non trivial issue of modeling asynchronous mechanism using the synchronous paradigm. Among target application domains, we mainly focus on the Avionics area. A library of polychronous models of services has been implemented, based on the avionic standard APEX-ARINC 653. These services describe functionalities of a real-time operating system in integrated modular Avionics architectures. The proposed methodology has been applied to some case studies in Avionics. The library is also the basis for another study that consists of modeling Real-Time Java applications in the polychronous framework. A great advantage is that formal transformation and optimization techniques become enabled. Finally, a major contribution of the work exposed in this report is the convergence between the theory of formal methods, industrial practice and current trends in embedded real-time system design.
-
An Example of Synchronous Design of Embedded Real-Time Systems based on IMA
2004Co-Authors: Abdoulaye Gamatié, Thierry Gautier, Paul Le GuernicAbstract:We present a study on the design of embedded real-time systems in general, and avionic systems in particular. The synchronous language Signal is used to describe a real world avionic application based on the recent Integrated Modular Avionics concept (IMA). The exposed case study shows how the synchronous technology helps for a reliable and modular design of real-time systems. One major advantage of this technology is the availability of formal tools and techniques for verification and validation, which are important for safety-critical systems such as Avionics systems.
