Using Multiple Levels of Abstractions in Embedded Software Design

ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA 94704, USA 2 Department of EECS, University of California at Berkeley, Berkeley CA 94720, USA Abstract. The methodologies that are in use today for software development rely on representations and techniques appropriate for the applications compilers, business applications, CAD, etc. that have been traditionally implemented on programmable processors. Embedded software is di erent: by virtue of being embedded in a surrounding system, the software must be able to continuously react to stimula in the desired way. Verifying the correctness of the system requires that the model oftware be transformed to include re ne or exclude abstract information to retain only what is relevant to the task at hand. In this paper, we outline a framework that we inted to use for studying the probabstraction and re nement in...

• Type: Conference
• Year: 2001
• Where: EMSOFT
• Authors: Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
• Keywords: Berkeley CA, Embedded Software, Embedded Software Design, EMSOFT 2001, Software Engineering