Search Sciweavers | Sciweavers

19 search results - page 1 / 4

» Model-Checking of Component-Based Event-Driven Real-Time Emb...

click to vote

ISORC
2005
IEEE

197views Distributed And Parallel Com...» more ISORC 2005»

Model-Checking of Component-Based Event-Driven Real-Time Embedded Software

14 years 4 months ago

Download www.cs.virginia.edu

As complexity of real-time embedded software grows, it is desirable to use formal veriﬁcation techniques to achieve a high level of assurance. We discuss application of model-ch...

Zonghua Gu, Kang G. Shin

claim paper

Read More »

click to vote

FORMATS
2009
Springer

133views Formal Methods» more FORMATS 2009»

Analyzing Real-Time Event-Driven Programs

14 years 5 months ago

Download www.ulb.ac.be

Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...

Pierre Ganty, Rupak Majumdar

claim paper

Read More »

click to vote

ECBS
2010
IEEE

224views Hardware» more ECBS 2010»

Timed Automata Model for Component-Based Real-Time Systems

14 years 5 months ago

Download emuco.is.ruhr-uni-bochum.de

—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal veriﬁcation techniques provide the means for design...

Georgiana Macariu, Vladimir Cretu

claim paper

Read More »

click to vote

EUROMICRO
2007
IEEE

173views Software Engineering» more EUROMICRO 2007»

Component-Based Design of Safe Real-Time Kernels for Embedded Systems

14 years 5 months ago