Specification and timing analysis of real-time systems

DOI10.1023/B:TIME.0000033379.78994.1AMaRDI QIDQ1770567zbMATH OpenOpenAlexFDO

Authors Shuhua Wang, Grace Tsai

Publication date 7 April 2005

Published in Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:time.0000033379.78994.1a

zbMATH Keywords

schedulability analysisallocationreal-time systemsspecificationfunctional and timing requirements

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Integrating schedulability analysis and design techniques in SDL
• scientific article; zbMATH DE number 1728515
• Delivering Real-Time Behaviour
• scientific article; zbMATH DE number 2043468
• Design of the real time systems using temporal logic specifications: A case study

Cited in

(14)

• Formal verification of multitasking applications based on timed automata model
• Virtual integration of real-time systems based on resource segregation abstraction
• Integrating schedulability analysis and design techniques in SDL
• Quantitative timed simulation functions and refinement metrics for real-time systems
• Consistency and satisfiability of waveform timing specifications
• scientific article; zbMATH DE number 7566069 (Why is no real title available?)
• Specification and design methodology for real-time embedded systems
• scientific article; zbMATH DE number 3997158 (Why is no real title available?)
• Specification and analysis of timing requirements for real-time systems in the CBD approach
• Delivering Real-Time Behaviour
• Parametric timing analysis for real-time systems
• Sensitivity analysis of complex embedded real-time systems
• scientific article; zbMATH DE number 1728515 (Why is no real title available?)
• Formal Testing of Systems Presenting Soft and Hard Deadlines

This page was built for publication: Specification and timing analysis of real-time systems

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