Schedulability Analysis in Real-Time Embedded Systems Specified in SDL

José María Álvarez; Manuel Díáz; Luis Llopis; Ernesto Pimentel; José M. Troya

doi:10.1016/s1474-6670(17)39942-1

ScienceGate Book Chapters

JOURNAL ARTICLE

Schedulability Analysis in Real-Time Embedded Systems Specified in SDL

José María Álvarez Manuel Díáz Luis Llopis Ernesto Pimentel José M. Troya

Year: 2000 Journal: IFAC Proceedings Volumes Vol: 33 (7)Pages: 117-122 Publisher: Elsevier BV

DOI: 10.1016/s1474-6670(17)39942-1

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science Heuristics Handset Embedded system Set (abstract data type) Real-time operating system Real-time computing Reliability engineering Operating system Engineering Programming language

Metrics

Cited By

0.81

FWCI (Field Weighted Citation Impact)

Refs

0.77

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Embedded Systems Design Techniques

Physical Sciences → Computer Science → Hardware and Architecture

Real-Time Systems Scheduling

Physical Sciences → Computer Science → Hardware and Architecture

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Schedulability Analysis in Real-Time Embedded Systems Specified in SDL

Metrics

Topics

Related Documents

Logic-based schedulability analysis for compositional hard real-time embedded systems

Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions

Schedulability-driven performance analysis of multiple mode embedded real-time systems

Schedulability analysis of EDF-scheduled embedded real-time systems with resource sharing

Symbolic schedulability analysis of real-time systems