1163 search results - page 41 / 233 » Case Studies of Model Checking for Embedded System Designs |
139
click to vote
IJCAI
2007
15 years 5 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
157
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
117
Voted
ACMACE
2009
ACM
15 years 10 months ago
2009
ACM
In this study we construct an artificial neural network model of players’ relaxation preferences while playing a physical Wii game. Developed technology will assist game designe...
142
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
111
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
The motivation of our work is to make a design tool for distributed embedded systems compliant with HIS and AUTOSAR. The tool is based on Processor Expert, a component oriented de...