|
Intelligent embedded systems is electronic hardware and software embedded in otherwise mechanical appliances - from refrigerators and blood pressure apparatus to cars and spacecraft.
The global market for intelligent embedded software is rapidly growing.
The use of intelligent embedded software will be a determining element in the success of future products.
|
DaNES is funded by the partners and the Danish Advanced Technology Foundation
 | |
Protocol modelling in UPPAAL
A proprietary communication protocol of the product has been modeled and analyzed by
CISS using UPPAAL as part of the DaNES project over a 4 months period. The preliminary results
are encouraging in the sense that:
- The development of the model was based on the proprietary protocol specification and
through the clarifying questions and discussions it became clear that a complete
revision of the specification was needed. Also, it has been decided that the new
specification will be re-evaluated through yet another modeling/analysis iteration.
Furthermore it is currently considered also take up the challenge of modeling and
analyzing the process execution platform.
- As part of the analysis, it was revealed that several timing parameters of the protocol
are critical for the correct behaviour of the protocol. It is not likely that consistent
parameter settings can be identified without using state of the art academic tools like
e.g. UPPAAL, which was used for the analysis.
|
News
DaNES on national Danish TV
[3 March 2011]Read more
DaNES in the media
[2 September 2009]
Read more
Unique collaboration on ambitious IT research
[15 December 2008]
Read more
New PhD students at DaNES
[28 November 2008]
Read more
DaNES research news:
|
|
|
 |
 |
|
