Specification and design methodology for real-time embedded systems

MaRDI QIDQ2768900zbMATH OpenFDO

Authors Randall S. Janka

Publication date 3 February 2002

zbMATH Keywords

real-time embedded signal processing systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 54320
• scientific article; zbMATH DE number 1001709
• scientific article; zbMATH DE number 995889
• scientific article; zbMATH DE number 6810922
• Specification and timing analysis of real-time systems
• scientific article; zbMATH DE number 2112214
• scientific article; zbMATH DE number 1693544

Cited in

(9)

• Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter
• A consistent design methodology for wireless embedded systems
• HW/SW components for real-time system Co-design
• scientific article; zbMATH DE number 995889 (Why is no real title available?)
• scientific article; zbMATH DE number 54320 (Why is no real title available?)
• scientific article; zbMATH DE number 54328 (Why is no real title available?)
• An Object-oriented Methodology for Embedded Real-time Systems
• scientific article; zbMATH DE number 6810922 (Why is no real title available?)
• scientific article; zbMATH DE number 2112214 (Why is no real title available?)

Describes a project that uses

Uses Software

• Simulink
• MPI

This page was built for publication: Specification and design methodology for real-time embedded systems

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