Access Restriction

Author Castillo, Giuseppe Del ♦ Glässer, Uwe
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Computer-aided Analysis ♦ Heterogeneous System Specification ♦ Ground Model ♦ Underestimated Aspect ♦ Common Semantic Framework ♦ Complex Technical System ♦ Mathematical Model ♦ Coherent View ♦ Abstract State Machine ♦ Industrial Case Study ♦ System Design Process ♦ Dierent Technique ♦ Formal Method ♦ Heterogeneous Behavioural Model ♦ Systematic Analysis ♦ Dierent System Aspect ♦ Material Ow System ♦ Initial Formalization Step
Abstract In applications of formal methods, the problem of how to establish the correctness of the initial formalization step is an often underestimated aspect of the system design process. We propose a methodology based on the construction of a mathematical model which reects the given system so closely that the correctness can be established by observation and experimentation (ground model ). Complex technical systems are often heterogeneous, so that dierent system aspects are best modelled by means of dierent techniques. This leads to heterogeneous ground models. To achieve a consistent and coherent view of heterogeneous behavioural models, which is a prerequisite for any systematic analysis and validation, we introduce a common semantic framework (meta-model) based on the notion of Abstract State Machines. We exemplify our methodology by an industrial case study from automated manufacturing, the distributed control for a material ow system (MFS). 1
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study