Abstract
Most current codesign approaches leverage from a complete specification of an application design at the implementation level. We pursue here an implementation independent system level design specification for realtime embedded systems using modular executable discrete event models. This paper introduces a formal abstraction for the specification of such design models. In addition, it defines a set of refinement steps which may be used to refine abstract design models into implementation level design specifications. Our approach is illustrated using a small embedded systems application.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 159-166 |
| Number of pages | 8 |
| ISBN (Print) | 0769515495, 9780769515496 |
| DOIs | |
| State | Published - 2002 |
| Event | 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 - Lund, Sweden Duration: Apr 8 2002 → Apr 11 2002 |
Other
| Other | 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 |
|---|---|
| Country | Sweden |
| City | Lund |
| Period | 4/8/02 → 4/11/02 |
Fingerprint
Keywords
- Application software
- Concurrent computing
- Design engineering
- Embedded computing
- Embedded software
- Embedded system
- Intelligent networks
- Laboratories
- Modeling
- System-level design
ASJC Scopus subject areas
- Computational Theory and Mathematics
- Computer Science Applications
Cite this
Refinement of model specifications in embedded systems design. / Schulz, S.; Rozenblit, Jerzy W.
Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002. Institute of Electrical and Electronics Engineers Inc., 2002. p. 159-166 999834.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Refinement of model specifications in embedded systems design
AU - Schulz, S.
AU - Rozenblit, Jerzy W
PY - 2002
Y1 - 2002
N2 - Most current codesign approaches leverage from a complete specification of an application design at the implementation level. We pursue here an implementation independent system level design specification for realtime embedded systems using modular executable discrete event models. This paper introduces a formal abstraction for the specification of such design models. In addition, it defines a set of refinement steps which may be used to refine abstract design models into implementation level design specifications. Our approach is illustrated using a small embedded systems application.
AB - Most current codesign approaches leverage from a complete specification of an application design at the implementation level. We pursue here an implementation independent system level design specification for realtime embedded systems using modular executable discrete event models. This paper introduces a formal abstraction for the specification of such design models. In addition, it defines a set of refinement steps which may be used to refine abstract design models into implementation level design specifications. Our approach is illustrated using a small embedded systems application.
KW - Application software
KW - Concurrent computing
KW - Design engineering
KW - Embedded computing
KW - Embedded software
KW - Embedded system
KW - Intelligent networks
KW - Laboratories
KW - Modeling
KW - System-level design
UR - http://www.scopus.com/inward/record.url?scp=84949666003&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84949666003&partnerID=8YFLogxK
U2 - 10.1109/ECBS.2002.999834
DO - 10.1109/ECBS.2002.999834
M3 - Conference contribution
SN - 0769515495
SN - 9780769515496
SP - 159
EP - 166
BT - Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002
PB - Institute of Electrical and Electronics Engineers Inc.
ER -