Avionics software

Reliability Modeling for Embedded System Environment compared to available Software Reliability Growth Models

Abhinav Juneja, Rohit Anand

引用数: 20 • 2019

Dynamically reconfigurable embedded software-does it make sense?

David B. Stewart, Gaurav Arora

引用数: 15 • 2002

Developing Evolvable, Embedded, Time-Critical Systems with MetaH

Bruce Lewis, E. J. M. Colbert, Steve Vestal

引用数: 13 • 2000

Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems

Bruce Lewis

引用数: 10 • 2004

Universal software safety standard

P. V. Bhansali

引用数: 9 • 2005

Applying software dependability principles to medical robotics

N.J. Dowler

引用数: 8 • 1995

Way of Working for Embedded Control Software using Model-Driven Development Techniques

Maarten M. Bezemer, Marcel A. Groothuis

引用数: 3 • 2011

Component-Based, Run-Time Flight Software Modification

Mohammad Shahabuddin, Alexander T. Murray, Vanessa Carson

引用数: 3 • 2008

Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications

Charles Lesire, David Doose

引用数: 3 • 2014

Evidential and Continuous Integration of Software Verification Tools

Tewodros A. Beyene, Harald Rueß

引用数: 2 • 2018