Files:DescriptionFile size FormatBrowse
Fulltext0.60 MBPDF (requires Acrobat Reader)Next
Authors:Pieter J. Mosterman: Design Automation Department, MathWorks, USA / School of Computer Science, McGill University, Canada
Justyna Zander: Harvard Humanitarian Initiative, Harvard University, USA
Publication title:AdvancingModel-Based Design by Modeling Approximations of Computational Semantics
Conference:Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011
Publication type: Abstract and Fulltext
Article No.:001
Abstract:Over the past decades; engineered systems have increasingly come to rely on embedded computation in order to include advanced and sophisticated features. The unparallelled flexibility of software has been a blessing for implementing functionality with a complexity that could not have been imagined heretofore. One important manifestation of this is in the use of software as the universal system integration mechanism. With the increasing use; however; has come a suite of difficulties in effectively employing software engineering practices because (i) C (the language of choice in embedded software implementation) is very close to the hardware implementation and (ii) software engineering methods typically only consider logical correctness; irrespective of critical characteristics for embedded computation (e.g.; response time). To address these problems; Model-Based Design helps raise the level of abstraction while accounting for such critical characteristics. The corresponding models are designed using high-level formalisms such as block diagrams and state transition diagrams whose meaning is particularly intuitive because of their executable nature. The necessity to support increasingly complicated language elements; however; has caused the underlying execution engine to explode in complexity. As a result; the meaning of the high-level formalisms exists almost exclusively by merit of simulation. This paper attempts to present the challenges faced by the current state of Model-Based Design tools and outlines a solution approach by modeling the execution engine.
Keywords:Model-Based Design; Cyber-Physical Systems; Modeling; Simulation; Computation; Numerical Integration; Hybrid Systems
No. of pages:5
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
Publisher:Linköping University Electronic Press; Linköpings universitet

Pieter J. Mosterman, Justyna Zander (2011). AdvancingModel-Based Design by Modeling Approximations of Computational Semantics, Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011;article=001 (accessed 2/13/2016)