Filters








1,482 Hits in 3.6 sec

Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development

Junda Ma, Guoxin Wang, Jinzhi Lu, Shaofan Zhu, Jingjing Chen, Yan Yan
2022 Applied Sciences  
Finally, a development process model of aircraft avionics system was created using a case study, in which cost analysis is implemented by the KARMA language.  ...  In this study, we proposed a model-based systems engineering approach to support process modeling of aircraft development using a multi-architecture modeling language KARMA.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/app12063067 fatcat:ydmeet6fnfdn5c7zz47zx5jdoy

A simulation-based system design tool for avionic fiber-optical networks

Sven Jager, Armin Zimmermann, Ralph Maschotta
2014 2014 IEEE International Systems Conference Proceedings  
Model-based analysis and validation using simulation is a helpful tool in the engineering of complex systems.  ...  This paper presents a tool chain for the model-based architectural design of avionic fiber-optic networks.  ...  ACKNOWLEDGEMENTS The authors would like to acknowledge the work of Karin Schulze on the avionic network model and earlier tool implementation [11] , the DAPHNE project consortium colleagues, and Yuwei  ... 
doi:10.1109/syscon.2014.6819277 dblp:conf/syscon/JagerZM14 fatcat:iq7snd3w4vf3fbi5lly3vukile

From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques

Kristin Yvonne Rozier
2019 2019 Spring Simulation Conference (SpringSim)  
Simulation is a highly-developed, time-honored design-time verification technique, whereas runtime verification is a much younger outgrowth from modern complex systems that both enable embedding analysis  ...  Simulation is a highly-developed, time-honored design-time verification technique, whereas runtime verification is a much younger outgrowth from modern complex systems that both enable embedding analysis  ...  Jones, Giles Reger, and Joseph Zambreno for constructive feedback on earlier drafts of this paper.  ... 
doi:10.23919/springsim.2019.8732915 dblp:conf/springsim/Rozier19 fatcat:xpkq4w5lf5b3xbpq2wzoizvtqi

Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL

Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loic Besnard, Maurice Heitz
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013  
exploration, and system property checking are carried out as early as possible.  ...  A tutorial avionic case study, provided by C-S, has been adopted to illustrate our overall contribution.  ...  The generated valid schedules are then seamlessly translated into SIGNAL for validation and simulation purposes.  ... 
doi:10.7873/date.2013.244 dblp:conf/date/MaYGGTBH13 fatcat:3e74zb24e5ewjl5n2m5jfqp45u

SCADE: Synchronous Design and Validation of Embedded Control Software [chapter]

Gérard Berry
2007 Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems  
The SCADE KCG compiler is certified at the highest level of avionics certification, which suppresses the need for generated code unit testing.  ...  We describe the SCADE synchronous approach to modelbased embedded software design, validation, and implementation for avionics, automotive, railway, and industry applications.  ...  Acknowledgements: the author thanks the various people involved in the design, development, and usage of SCADE: P. Caspi and N. Halbwachs who created Lustre, J-L. Bergerand and E.  ... 
doi:10.1007/978-1-4020-6254-4_2 fatcat:r5krrlpycbaltlyexzhvzjem2u

System-level co-simulation of integrated avionics using polychrony

Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent
2011 Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11  
The system-level simulation of such composite models is necessary but difficult task, allowing to validate global design choices as early as possible in the system design flow.  ...  An avionic case study, consisting of a simplified doors and slides control system, is presented to illustrate our approach.  ...  It provides a formal framework for the system modeling at a high level of abstraction, design validation at different levels, as well as simulation for deterministic specifications.  ... 
doi:10.1145/1982185.1982263 dblp:conf/sac/YuMGTBGGTL11 fatcat:lq5zow53zvb7zmxsmigmjhfdkm

The challenge of interoperability

Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep Shukla, Shinichi Shiraishi
2015 Proceedings of the 52nd Annual Design Automation Conference on - DAC '15  
timing relationship language, a formal contract language to express component-level requirements and validation of component integration, and the resulting high assurance system delivery.  ...  Model-Based Engineering (MBE) is a promising approach to cope with the challenges of designing the next-generation automotive systems.  ...  Therefore, system design is expected to be validated as early as possible, and design validation in an early phase has become one of the key approaches to reduce time to market constraints and the overall  ... 
doi:10.1145/2744769.2747945 dblp:conf/dac/YuJTSS15 fatcat:dlsu7o7t4bgebgx7bv4wrlk7z4

Model-Based System Design of Time-Triggered Architectures - Avionics Case Study

Hauke Fuhrmann, Reinhard Hanxleden, Jorn Rennhack, Jens Koch
2006 2006 ieee/aiaa 25TH Digital Avionics Systems Conference  
A high-lift flap system serves to validate and demonstrate this paradigm in the aerospace application domain.  ...  In this paper, we report on experiences with such a modelbased design of an avionics system, realized as a TTA using commercial modeling tools and extensions that support the Time Triggered Protocol (TTP  ...  This enabled us to validate the concepts for the physical high-lift flap system on a very high level of abstraction and an early stage of the development process, especially prior to physical testing of  ... 
doi:10.1109/dasc.2006.313745 fatcat:p52fi6wz4bbu5mflyq7wmgmfhi

Modelling Embedded Systems with AADL: A Practical Study [chapter]

Naeem Muhammad, Yves Vandewoude, Yolande Berbers, Sjir van
2010 New Advanced Technologies  
Acknowledgment This work has been carried out as a part of the Condor project (http://www.esi.nl/ Projects->Condor) at FEI company under the responsibilities of the Embedded Systems Institute (ESI).  ...  This project is partially supported by the Dutch Ministry of Economic Affairs under the BSIK program  ...  The role of architecture for early system validation certainly is of great importance.  ... 
doi:10.5772/9423 fatcat:jimqgj3rzrbxdlwxowvkhlg23u

Polychronous modeling, analysis, verification and simulation for timed software architectures

Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin
2013 Journal of systems architecture  
of the overall system is achieved via a formal polychronous/multi-clock model of computation.  ...  analysis, verification and validation (V&V) and architecture exploration are carried out as early as possible.  ...  Raising level of abstraction and early-phase validation in system design allow for an effective development in response to the previous issues, and they have received great attention from the system-level  ... 
doi:10.1016/j.sysarc.2013.08.004 fatcat:jadqwaxynrfrxg3qptdovw33om

Cascading Failure Analysis Method of Avionics Based on Operational Process State

Yuqian Wu, Gang Xiao, Miao Wang
2020 IEEE Access  
By using the aircraft integrated surveillance system as a research object, the effect and cause of cascading failure assessed in various failure scenarios have validated the effectiveness of the proposed  ...  and automation level of the safety evaluation process in the early development phase.  ...  , which is conductive to both hazard identification and design optimization in the early stage of avionics development.  ... 
doi:10.1109/access.2020.3016026 fatcat:wmuutf7lmfavtpcbsn7fu42sae

System architecture optimization with runtime reconfiguration of simulation models

Alexander Wichmann, Sven Jager, Tino Jungebloud, Ralph Maschotta, Armin Zimmermann
2015 2015 Annual IEEE Systems Conference (SysCon) Proceedings  
This paper presents a model-based methodology to optimize the architecture of a wireless sensor network that is designed for future avionic applications.  ...  The system modeling and design tool MLDesigner is used for model implementation and simulations.  ...  ACKNOWLEDGMENT This paper is based on work funded by the Federal Ministry for Education and Research of Germany with grant number 01S13031A.  ... 
doi:10.1109/syscon.2015.7116826 dblp:conf/syscon/WichmannJJMZ15 fatcat:gdlfhg2oije3djnmj3v26mctd4

Flying free flight: pilot perspective and system integration requirement

F. Maracich
2006 IEEE Aerospace and Electronic Systems Magazine  
What does "Free Flight" means to the pilot and what are his/her expectations operating in a free flight environment?  ...  -Free Flight Avionics for future implementations Today avionic system integration is of paramount importance, making aircraft systems part of a network of devices/sensors under the control of centralized  ...  The project then developed advanced simulation facilities and new validation techniques plus a live trials environment including fully equipped flight test aircraft.  ... 
doi:10.1109/maes.2006.1684261 fatcat:ajy7owios5hn5jt6i3uax222ie

Hardware/Software Integration Testing for the New Airbus Aircraft Families [chapter]

Jan Peleska
2002 IFIP Advances in Information and Communication Technology  
Tool support is provided by the RT-Tester real-time test tool developed by Verified Systems and the University of Bremen.  ...  Our approach has been elaborated by research and development teams at Airbus Deutschland, KID-Systeme, Verified Systems International and the Author's research group at the University of Bremen.  ...  Last, but not least, the author would like to express his gratitude to the organisers of the TestCom2002 for granting him the possibility to deliver this presentation.  ... 
doi:10.1007/978-0-387-35497-2_24 fatcat:kkfvjonhmvejtfpwj2vlly66ea

System synthesis from AADL using Polychrony

Yue Ma, Huafeng Yu, Thierry Gautier, Jean-Pierre Talpin, Loic Besnard, Paul Le Guernic
2011 2011 Electronic System Level Synthesis Conference (ESLsyn)  
According to SIGNAL's polychronous model of computation, we propose a model for AADL, which takes both software, hardware and allocation into account.  ...  Raising the level of abstraction in the design and performing fast yet efficient high-level analysis, validation and synthesis has been widely advocated and considered as a promising solution.  ...  This modeling supports the virtual prototyping and formal validation of component-based embedded architectures, and enables software synthesis for the purpose of early phase simulation.  ... 
doi:10.1109/eslsyn.2011.5952285 fatcat:wxwhuszh5jatrooylquybxixbe
« Previous Showing results 1 — 15 out of 1,482 results