Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models
Giuseppe Del Castillo, Wolf‐Dietrich Hardt · 1998
State Machine Models Giuseppe Del Castillo Heinz Nixdorf Institut Department of Mathematics & Computer Sience University of Paderborn Furstenallee 11, 33102 Paderborn, Germany Wolfram Hardt C-LAB: Cooperative Computing & Communication Laboratory, Siemens Nixdorf Informationssysteme AG & University of Paderborn Furstenallee 11, 33102 Paderborn, Germany Abstract High level design decisions as HW/SW-partitioning and instrumenting of building blocks can be supported efficiently by detailed analysis of dynamic instruction usage. In many cases the instruction usage is specific to the application domain in view. We present a very fast analysis approach based on high level system models. Complex application characteristics, e.g., the average number of not interrupted instructions can be determined. This is much more than execution of, e.g., C-programs can provide. 1 Introduction Today's systems are highly complex and composed out of several building blocks (BB), each block possibly consisti...