The Modelling of Embedded Systems Using HASoC

Authors:
M. Edwards;P. Green
Affiliations:
Department of Computation, UMIST, Manchester, United Kingdom;Department of Computation, UMIST, Manchester, United Kingdom
Venue:
Proceedings of the conference on Design, automation and test in Europe
Year:
2002

Citing 0
Cited 4

UML and platform-based design

UML for real
UML 2.0 Profile for Embedded System Design

Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Design of clocked circuits using UML

Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Unifying hardware and software components for embedded system development

Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a design method (HASoC) for the lifecyclemodelling of embedded systems that are targetedprimarily, but not necessarily, at SoC implementations.The object-oriented development technique is based onour experiences of using an existing modelling technique(MOOSE) and supports a lifecycle that explicitlyseparates the behaviour of a system from its hardwareand software implementation technologies. The designprocess, which uses a UML-RT-based notation, beginswith the incremental development and validation of anexecutable model of a system. This model is thenpartitioned into hardware and software to create acommitted model, which is mapped onto a systemplatform. The methodology emphasises the reuse of pre-existinghardware and software platforms to ease thedevelopment process. An example application ispresented in order to illustrate the main concepts inHASoC.