HW/SW components for real-time system Co-design

MaRDI QIDQ2768258zbMATH OpenFDO

Authors Roman Gumzej, Matjaž Colnarić

Publication date 5 August 2002

zbMATH Keywords

\(HW/SW\) co-design methodologyPEARL process model

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99)

Recommendations

• Modeling distributed real-time applications with Specification PEARL
• Specification and design methodology for real-time embedded systems
• Methodologies for specification of real-time systems using timed I/O automata
• Hardware/Software Co-Verification: Models and Methods
• scientific article; zbMATH DE number 54328

Cited in

(3)

• Hardware/software co-design of run-time schedulers for real-time systems
• The PSR methodology: integrating hardware and software models
• Modeling distributed real-time applications with Specification PEARL

This page was built for publication: HW/SW components for real-time system Co-design

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