Activity: Talks and presentations › Talks and presentations in private or public companies
In the industrial marketplace, the constant demand of ever greater functionality at ever lower prices results in products that are ever more complex. It is obvious that a rigorous engineering approach towards embedded software design is necessary, i.e. reliable component-based development of embedded software, including design, early verification and validation as well as automatic code generation, and as consequence alleviating many of the problems associated with inconsistency between design and implementation. The paper presents a model used to represent hybrid control systems structures and behaviors and specify their properties, in the context of the COMDES (Component-based Design of Software for Embedded Systems) development framework, an integrated synchronous approach to reactive systems. The COMDES framework allows to represent the architecture of the system and the behavior of the associated components and also to express, the expected properties of the component and its assumed environment. To support different types of analyses we provide a collection of analysis methods such as simulation or verification and timing schedulability. These methods operate on the representation of the architectural design in terms of the COMDES basic formalism. An example of a gripper system, consisting of an arm with shear and normal force sensors, a DC motor for gripping control, and an actuator for lifting control, will practically exemplify the elements of the framework.
Emneord: component-based design, model-based design, embedded systems, control systems