144 search results - page 10 / 29 » A case study in computer-aided codesign of embedded controll... |
RSP
2005
IEEE
14 years 29 days ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
SEUS
2009
IEEE
14 years 2 months ago
2009
IEEE
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects. Such network inte...
SCAM
2007
IEEE
14 years 1 months ago
2007
IEEE
—The access of information systems to underlying relational databases is commonly programmed using embedded SQL queries. Such embedded queries may take the form of string literal...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
Engine Control Systems (ECS) for automobiles have numerous variants for many manufactures and different markets. To improve development efficiency, exploiting ECS commonalities an...
FLAIRS
2007
13 years 9 months ago
2007
In this paper we present a novel approach for patternconstrained test case generation. The generation of test cases with known characteristics is usually a non-trivial task. In co...