SCOPUS 정보 검색 플랫폼

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn , Issue , 2011, Pages

Model driven early exploration of IMA execution platform

(4) Lafaye, Michaël a Gatti, Marc a Faura, David a Pautet, Laurent b

a THALES AVIONICS (France)

b TELECOM PARISTECH (France)

Author keywords

[No Author keywords available]

Indexed keywords

CERTIFICATION PROCESS; DEVELOPMENT PROCESS; DYNAMIC PERFORMANCE; ENTRY POINT; HARDWARE ARCHITECTURE; HARDWARE COMPONENTS; HIGH LEVEL OF ABSTRACTION; INTEGRATED MODULAR AVIONICS; LEVELS OF DETAIL; MAPPING RULES; MODEL BASED APPROACH; MODEL-DRIVEN; MODELING APPROACH; PLATFORM DESIGN; PLATFORM MODELS; PROPOSED ARCHITECTURES; SOFTWARE DESCRIPTION; SYSTEM REQUIREMENTS; SYSTEMC; TIME TO MARKET; MULTI-VIEWS;

AIRCRAFT; HIGH LEVEL LANGUAGES; LEGACY SYSTEMS; NETWORK ARCHITECTURE;

DIGITAL AVIONICS;

EID: 84255163362 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/DASC.2011.6096113 Document Type: Conference Paper

Times cited : (11)

References (9)

1
- 34548836760
- S. A. E. (Society of Automotive Engineers), SAE AS5506 SAE
- S. A. E. (Society of Automotive Engineers) Architecture Analysis and Design Language, 2009, SAE AS5506, SAE
- Architecture Analysis and Design Language 2009

2
- 51549095794
- The ADAPT tool: From AADL architectural models to stochastic petri nets through model transformation
- Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche, 2008, "The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation". European Dependable Computing Conference EDCC, pp 85-90.
- (2008) European Dependable Computing Conference EDCC , pp. 85-90
- Rugina, A.-E.¹ Kanoun, K.² Kaâniche, M.³

3
- 74549169999
- Validate, simulate and implement ARINC653 systems using the AADL
- J. Delange, L. Pautet, A. Plantec, M. Kerboeuf, F. Singhoff, F. Kordon, 2009, "Validate, Simulate and Implement ARINC653 Systems Using the AADL", CM SIGAda Ada Letters.
- (2009) CM SIGAda Ada Letters
- Delange, J.¹ Pautet, L.² Plantec, A.³ Kerboeuf, M.⁴ Singhoff, F.⁵ Kordon, F.⁶

4
- 78650259320
- The AADL as a pivot language for analyzing performances of real time architectures
- P. Dissaux, F. Signhoff, 2008, "the AADL as a Pivot Language for Analyzing Performances of Real Time Architectures", 4th European Congress ERTS Embedded Real Time Software.
- (2008) 4th European Congress ERTS Embedded Real Time Software
- Dissaux, P.¹ Signhoff, F.²

5
- 74549146061
- AADL modeling and analysis of hierarchical schedulers
- Fairfax, Virginia, USA
- F. Singhoff, A. Plantec "AADL Modeling and Analysis of Hierarchical Schedulers", 2007, Proceedings of the 2007 ACM International Conference on Sigada Annual International Conference. Fairfax, Virginia, USA.
- (2007) Proceedings of the 2007 ACM International Conference on Sigada Annual International Conference
- Singhoff, F.¹ Plantec, A.²

6
- 38149128930
- Open SystemC Initiative. IEEE 1666: SystemC Language Reference Manual, 2005. www.systemc.org.
- (2005) IEEE 1666: SystemC Language Reference Manual

7
- 84855544110
- OSCI portal: http://www.systemc.org/home/
- OSCI Portal

8
- 4444337117
- Center for Embedded Computer Systems, University of California
- L. Cai and D. Gajski, "Transaction Level Modeling: An Overview", 2003, Center for Embedded Computer Systems, University of California
- (2003) Transaction Level Modeling: An Overview
- Cai, L.¹ Gajski, D.²

9
- 84255208053
- DAC
- S. Swan, 2006, "SystemC TLM Models and RTL Verification", DAC
- (2006) SystemC TLM Models and RTL Verification
- Swan, S.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.