Sciweavers

2960 search results - page 116 / 592
» A vision for embedded software
Sort
View
142
Voted
RTAS
2000
IEEE
15 years 7 months ago
An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics
The Integrated Modular Avionics (IMA) approach can achieve lower overall hardware costs and reduced level of spares by getting multiple applications that have traditionally been i...
Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim
167
Voted
CODES
2011
IEEE
14 years 3 months ago
Design and architectures for dependable embedded systems
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
Jörg Henkel, Lars Bauer, Joachim Becker, Oliv...
123
Voted
RTCSA
2006
IEEE
15 years 9 months ago
Automatic Generation and Validation of Models of Legacy Software
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
Joel Huselius, Johan Andersson, Hans Hansson, Sasi...
128
Voted
DATE
2005
IEEE
113views Hardware» more  DATE 2005»
15 years 9 months ago
Hardware-Software Design of a Smart Sensor for Fully-Electronic DNA Hybridization Detection
This paper describes the design of a smart sensor for label-free detection of DNA hybridization. The sensor is based on a direct electrical transduction principle: it measures imp...
Claudio Stagni, Carlotta Guiducci, Massimo Lanzoni...
107
Voted
RTSS
2003
IEEE
15 years 9 months ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...