Sciweavers

822 search results - page 22 / 165
» Hardware software partitioning of embedded system in OCAPI-x...
Sort
View
RTSS
2008
IEEE
14 years 3 months ago
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco...
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
14 years 2 months ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
CSREAESA
2006
13 years 10 months ago
Chip OS: new architecture for next generation embedded system
Nowadays embedded system, hardware/software technology has progressed prosperously. In many field of industrial manufacture and people life, embedded system is indispensable. Rece...
Tianzhou Chen, Yi Lian, Wei Hu
AGILEDC
2004
IEEE
14 years 17 days ago
Taming the Embedded Tiger - Agile Test Techniques for Embedded Software
Strong unit testing is the foundation of agile software development but embedded systems present special problems. Test of embedded software is bound up with test of hardware, cro...
Nancy Van Schooenderwoert, Ron Morsicato
EUC
2006
Springer
14 years 15 days ago
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools
Software programmers want to manage pure software, not hardware-software entanglements. Unfortunately, traditional development methodologies cannot clearly separate hardware and so...
Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Ha...