Model-Based Design - A Chance for Good Quality Products and Services by Integrating Intelligence

Abstract

Frequently, model-based computing is looked at as a good paradigm increasing productivity by allowing an increase in the design level, thus in productivity and reusability similar to that what happened several decades ago when software technology changed from machine near assembly programming to high-level languages. However, model-based design (and operation) opens new opportunities to drastically increase the quality of the IT products and the services delivered by them. During the design phase one of the main drivers of the advanced support by the design environment originates in the opportunity of integrating sophisticated mathematics into the design workflow. Formal methods embedded into design workflow may support not only a continuous checking of the conformance to the design rules (which may be specific to the application area by introducing domain specific languages into the design tool-chain) but they can support the design process by deliberating the designer from tedious routine tasks. Another option is offer in the form of helping the designer in complex situations by means of integrated multiaspect optimization. The talk will present the new opportunities based on the toolchain developed for safety critical embedded systems at the Budapest University of Technology and OptXware, respectively. At first, it introduces an approach supporting the introduction of domain specific technique in a controlled way into the entire toolchain (covering the creation, model transformation based manipulation, semi-automated synthesis and formal verification). Subsequently, a concept is introduced for the supporting technologies relying on tool integration and information fusion in which the main concepts of service oriented architectures are complemented with a model transformation based semantic model and data integration. Finally, the exploitation of the existence of the requirement and design models for supporting the operation and maintenance phases is addressed.