Model-based development of embedded systems: the SysWeaver approach

DOI10.1007/978-1-4020-6254-4_3zbMATH Open1189.93020OpenAlexW4251625807MaRDI QIDQ3564013FDOQ3564013

Authors: Raj Rajkumar 

Publication date: 2 June 2010

Published in: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-6254-4_3

Recommendations

• scientific article; zbMATH DE number 2143087
• scientific article; zbMATH DE number 2018579
• scientific article; zbMATH DE number 1487614
• scientific article; zbMATH DE number 2176488
• scientific article; zbMATH DE number 1931787

zbMATH Keywords

real-timecouplersembeddedsemantic dimensionsemantic separationsoftware-through-models

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83)

Cited In (3)

• Model-driven architecture for embedded software: A synopsis and an example
• Generating VHDL source code from UML models of embedded systems
• Title not available (Why is that?)

Uses Software

• Matlab
• Simulink

This page was built for publication: Model-based development of embedded systems: the SysWeaver approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3564013)