124 Hits in 12.4 sec

Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study

Franck Wartel, Leonidas Kosmidis, Code Lo, Benoit Triquet, Eduardo Quinones, Jaume Abella, Adriana Gogonel, Andrea Baldovin, Enrico Mezzetti, Liliana Cucu, Tullio Vardanega, Francisco J. Cazorla
2013 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)  
Probabilistic Timing Analysis (PTA) in general and its measurement-based variant called MBPTA in particular can mitigate the problems that impair current worst-case execution time (WCET) analysis techniques  ...  This paper discusses the application of MBPTA to a real avionics system and presents the lessons learned in that process.  ...  Section II presents the Integrated Modular Avionics system selected as case study. Section III introduces PTA and MBPTA.  ... 
doi:10.1109/sies.2013.6601497 dblp:conf/sies/WartelKLTQAGBMCVC13 fatcat:gradwqhqungipeguymvmvbluuy

The FSAP/NuSMV-SA Safety Analysis Platform

Marco Bozzano, Adolfo Villafiorita
2006 International Journal on Software Tools for Technology Transfer (STTT)  
The platform consists of a graphical user interface (FSAP) and an engine (NuSMV-SA) which is based on the NuSMV model checker.  ...  However, existing techniques have little tool support and therefore their use for safety analysis remains limited.  ...  An alternative possibility is to use the model of time based on calendar automata described in [34] .  ... 
doi:10.1007/s10009-006-0001-2 fatcat:lci4gcskcrclnc7unqufcok4ma

Formal Design and Safety Analysis of AIR6110 Wheel Brake System [chapter]

M. Bozzano, A. Cimatti, A. Fernandes Pires, D. Jones, G. Kimberly, T. Petri, R. Robinson, S. Tonetta
2015 Lecture Notes in Computer Science  
Third, we provide an assessment of distinct formal methods ranging from contract-based design, to model checking, to model based safety analysis.  ...  In this case study, we analyze the AIR6110 with formal methods. First, WBS architectures in AIR6110 formerly using informal steps are recreated in a formal manner.  ...  , automatically producing fault trees with a large number of fault configurations, and probabilistic reliability measures.  ... 
doi:10.1007/978-3-319-21690-4_36 fatcat:jrygkgx4tfcuxjry6tavuhsot4

Reusability Analysis for Lunar Landers

Ryan de Freitas Bart, Jeffrey Hoffman
2021 2021 IEEE Aerospace Conference (50100)  
An optimization framework is then applied to the resulting model to determine the optimal lunar lander design for a given mission.  ...  However, if additional missions are added a hybrid implementation of reusability, which entails reusing the transfer and ascent elements multiple times but changing out line-replacement units after each  ...  In both cases, hybrid reusability is always more cost-effective than full reusability for the number of missions studied.  ... 
doi:10.1109/aero50100.2021.9438228 fatcat:hhlodprddnc4tibcnubgrok7se

1986-1999 combined index IEEE aerospace and electronic systems magazine vols. 1-14 [Subject Index]

2000 IEEE Transactions on Aerospace and Electronic Systems  
Huang airborne early warning radar, knowledge-based space-time adaptive proc. bistatic adaptive space-based radar, ground/airbome target detect.  ...  Aircraft computers Aerospace control airbome early waming radar, knowledge-based space-time adaptive proc.  ...  Synchronous digital hierarchy Time-frequency analysis Time measurement DGPS-based aircraft flight guidance/test syst. Huamin Jia, + , AES-M Jul 96 23-26 EW, sig. proc. technol. advancements.  ... 
doi:10.1109/taes.2000.869530 fatcat:dqlflsnslveyri76fpijskbzqi

Systems-Theoretic Process Analysis of space launch vehicles

John M. Rising, Nancy G. Leveson
2018 Journal of Space Safety Engineering  
Fleming and Leveson demonstrated improvements to the hazard analysis and certification of integrated modular avionics using STPA [25] .  ...  Because only a functional design of the system exists at the time a PHA is conducted, PHA relies heavily on mishap data from similar systems and lessons learned from other projects.  ... 
doi:10.1016/j.jsse.2018.06.004 fatcat:pzidprroirf5jj34yvw5ixiwju

Proof-based system engineering and embedded systems [chapter]

Gerard Lann
1998 Lecture Notes in Computer Science  
An analysis of the Ariane 5 Flight 501 failure serves to illustrate how proof-based system engineering also helps in diagnosing causes of failures. Systems. This view is not universally shared (yet).  ...  We believe -and we will attempt to convince the reader -that such changes should be aimed at introducing correctness proof obligations, as is (resp. is becoming) the case in the integrated circuits (resp  ...  See section 4 for an example of how to conduct design stage 1 in the case of a (complex and critical) modular avionics problem.  ... 
doi:10.1007/3-540-65193-4_23 fatcat:aeqgm5k4yzeplh6ttop467bbn4

Strategic directions in real-time and embedded systems

John A. Stankovic
1996 ACM Computing Surveys  
There are many techniques developed and used in practice for improving reliability, ranging from static analysis based on formal methods and scheduling theory to dynamic analysis based on testing and run-time  ...  An important future challenge will be the development of an integrated set of analysis tools that combines the focus on application QoS satisfaction associated with real-time scheduling theory with the  ... 
doi:10.1145/242223.242291 fatcat:evt5gbvcjnfc3g3hauytxuuv6i

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review

Hugo Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz
2022 ACM Transactions on Software Engineering and Methodology  
Defining widely-accepted rigorous measures of performance and adequacy for each domain is an identified research gap.  ...  Apart from time and epistemics, other aspects captured in models concern probabilities (e.g., for modelling uncertainty) and continuous trajectories (e.g., for modelling vehicle dynamics and kinematics  ...  Moreover, we would like to thank Thomas Arts, Michael Fisher, Mario Gleirscher, Robert Hierons, Fabio Palomba, and, Kristin Rozier for their comments at the validation stage of this study.  ... 
doi:10.1145/3542945 fatcat:b6hshtzmrfep3ba7t6brl6kfbu

A Survey on Cellular-connected UAVs: Design Challenges, Enabling 5G/B5G Innovations, and Experimental Advancements [article]

Debashisha Mishra, Enrico Natalizio
2020 arXiv   pre-print
The main focus of this work is to present an extensive study of integration challenges along with key 5G/B5G technological innovations and ongoing efforts in design prototyping and field trials corroborating  ...  This work aims at presenting an in-depth exploration of integration synergies between 5G/B5G cellular systems and UAV technology, where the UAV is integrated as a new aerial User Equipment (UE) to existing  ...  The elevation angle based models are mostly used for theoretical study purpose and existing literatures are also limited in this regard. • Probabilistic LoS model -The models based on this approach are  ... 
arXiv:2005.00781v1 fatcat:gnjjupum7zh25kwaetdtxzidja

The Independent LifeStyle Assistant: Lessons Learned

Karen Zita Haigh, Liana M. Kiff, Geoffrey Ho
2006 Assistive technology  
The Independent LifeStyle Assistant TM (I.L.S.A.) is an agent-based monitoring and support system to help elderly people to live longer in their homes by reducing caregiver burden.  ...  This paper describes the six-month study of the system we fielded in elder's homes and the major we lessons learned during development. 1 ADLs focus on assessing ability to perform basic self-care activities  ...  The Florida-based field test was funded through an independent government grant, and managed by the University of Florida's Department of Occupational Therapy.  ... 
doi:10.1080/10400435.2006.10131909 pmid:16796244 fatcat:gl2jcx7r6ndv3emdb6unjlhqzu

Assurance of System Safety: A Survey of Design and Argument Patterns [article]

Mario Gleirscher, Stefan Kugele
2019 arXiv   pre-print
For each aspect, we provide an overview of relevant studies and synthesize a taxonomy of first principles underlying these patterns.  ...  Furthermore, we comment on how these studies address known challenges and we discuss suggestions for further research.  ...  Analysis FMEA Failure Mode Effects Analysis FTA Fault Tree Analysis GSN Goal Structuring Notation HazOp Hazard Operability (studies) HOL Higher Order Logic IMA Integrated Modular Avionics  ... 
arXiv:1902.05537v1 fatcat:26flno62afhl7kn3g27lryph5y

A multicellular architecture towards low-cost satellite reliability

A. O. Erlank, C. P. Bridges
2015 2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)  
Finally, based on practical measurements of the benchtop system and the results of the reliability analysis of Chapter 6, two case studies of cellularising portions of real spacecraft are given.  ...  In these case studies, the measured performance characteristics of the testbed cells are used to theoretically 'cellularise' two traditional sets of satellite avionics.  ...  Using this model, the probabilistic time required to recover from the next failure could be calculated.  ... 
doi:10.1109/ahs.2015.7231152 dblp:conf/ahs/ErlankB15 fatcat:2t6xsssy35h27lsv6v3qrfbpke

Priorities assignment for actions in a transport system based on a multicriteria decision model [chapter]

2009 Reliability, Risk, and Safety, Three Volume Set  
Probabilistic Safety Analysis Procedures Guide. NUREG/CR-2815 (BNL-NUREG-51559). Brookhaven National Laboratory. Upton, NY. August. Group. Rev, 4. March. Forester, J. et al. (2007).  ...  Applying the Safe Place, Safe Person, Safe Systems framework: Case study findings across multiple industry sectors Yin, R. (1989) Rinaldi, S.M., Peerenboom, J. P., and Kelly, T. K. 2001.  ...  A synergetic model for implementing an integrated management system: an empirical study in china.  ... 
doi:10.1201/9780203859759-69 fatcat:wnkjp4evmnawrn55cmckrgazze

Novel Air Traffic Procedures: Investigation of Off-Nominal Scenarios and Potential Hazards

Giorgio Calanni Fraccone, Vitali Volovoi, Alfredo E. Colón, Matthew Blake
2011 Journal of Aircraft  
., “Dynamic reliability: Towards an Integrated Platform for Probabilistic Risk Assessment,” Reliability Engineering and System Safety, Vol. 68, No. 3, 2000, pp. 219-254. Volovoi, V.  ...  An attempt at modeling such circumstances is offered by Campbell et al. [20] who employed the agent-based model IMPACT (intelligent agent-based model for policy analysis of collaborative traffic flow management  ... 
doi:10.2514/1.c031003 fatcat:2m4b3xttvrb6fn2pdcimfinp44
« Previous Showing results 1 — 15 out of 124 results