W. Maydl and M. Grajcar (Germany)
Software Engineering Applications, Embedded Systems Programming, Software Design, Type Checking
A novel interface type system for component-based em bedded systems based on the dataflow paradigm is pre sented. The underlying signal model covers not only the value range and the time domain but also attributes of the signal data transport. This allows to describe the behavior of the dataflow components precisely by the interface type system using type constraints which may be as complex as multivariate polynomials. A mathematically well-founded type resolution algorithm is presented in form of a func tional. The type resolution algorithm is invoked at each de sign step and delivers the resulting interface types as fixed point in polynomial time. The objective of this interface type system is to detect as many type conflicts (e.g., a phys ical unit mismatch) as possible during design. This results in a more reliable development of complex applications in a shorter design time.
Important Links:
Go Back
