Specification and timing analysis of real-time systems

DOI10.1023/B:TIME.0000033379.78994.1AzbMATH Open1067.68030OpenAlexW2002664313MaRDI QIDQ1770567FDOQ1770567

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

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

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)

Cited In (14)

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

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)