Real-time systems design methodologies: An introduction and a survey

Kavi, Krishna M.; Yang, Seung-Min

doi:10.1016/0164-1212(92)90047-n

Cited by 16 publications

(5 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Following an accident, recovery of the "Black Boxes" is second in importance only to the rescue of survivors and recovery of human [5] remains.…”

Section: Flight Data Recordermentioning

confidence: 99%

Wireless Flight Data Recorder (FDR) for Airplanes

Ashish¹,

Chougule²

2012

AMR

View full text Add to dashboard Cite

This paper is on the urgent need of today’s Aviation Sector which comes smart materials in airplanes. We have made wireless system i.e. a real time Flight Data Recorder (FDR) in which the data(Parameters like Engine Temperature ,Fuel Level, Speed ,Location (Latitude And Longitude)etc. ) getting stored in real time, in the plane’s FDR(commonly known as Black Box), same data will get transferred to our Personal Computer(PC) which is at ground. The data will be transferred via XBEE-RF Module( long range). Also, the Global Positioning System (GPS) device will send the Position coordinates logged by the micro-controller at periodic intervals. After processing the data, the data will be uploaded to the server via the GPRS/Internet Connection. The program resident on the server will process the data and map the position on a digital map. The digital map view can be accessed through and other PC’s using the Protocol, thus giving real time positioning and different parameters of the plane on ground. “This paper focuses on sufficient data for analyzing the air disasters as short term application, and reduction of air disasters as long term goal.”

show abstract

“…Following an accident, recovery of the "Black Boxes" is second in importance only to the rescue of survivors and recovery of human [5] remains.…”

Section: Flight Data Recordermentioning

confidence: 99%

Wireless Flight Data Recorder (FDR) for Airplanes

Ashish¹,

Chougule²

2012

AMR

View full text Add to dashboard Cite

show abstract

“…As real-time software is reactive and concurrent, and its timing conditions are strict, it is difficult to design realtime software [1]. It is important to specify and verify realtime software [2]. In this paper, we propose timed weak simulation relation verification method based on timed automata [3], and apply it to stepwise refinement of realtime software over fixed priority preemptive schedulers [4].…”

Section: Introductionmentioning

confidence: 99%

“…In this situation, it is useful to distinguish between internal events and external events in the sense of process algebra [5]. (2)In real-time software, stepwise refinement is useful [6], and it is important to automatically verify whether the concrete specification refines the abstract specification. From the above results, we propose the followings:…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software

Yamane

2005

Embedded and Ubiquitous Computing – EUC 2005

View full text Add to dashboard Cite

show abstract

“…DynBench permits workload to increase and to decrease dynamically, according to online user input, and according to user -defined experiment scenario files; these workload variations can be fully dynamic , i.e., they need not be constrained by timeinvariant statistical distributions. Another obvious distinction of DynBench is that it employs real workloads (with features similar to those described in [2,12,6,3,20]), instead of synthetic workloads, avoiding the problems of (1) obtaining a realistic synthetic workload and (2) accurately characterizing a realistic workload and its low-level data-dependent behaviors. Also, this has the advantage of allowing a user to "see" that the appropriate QoS is being delivered to the benchmark application system by observing its tactical behavior.…”

Section: Introductionmentioning

confidence: 99%

A dynamic real-time benchmark for assessment of QoS and resource management technology

Welch

Shirszi

Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium

View full text Add to dashboard Cite

This paper presents DynBench, a benchmark suite that is representative of the emerging generation of dynamic real-time distributed systems. The characteristics and architecture of the benchmark application suite are described. Additionally, the paper discusses the DynBench environment, which includes: (1) a technique for specification of "repeatable" dynamic execution scenarios, (2) mechanisms for control (start, stop, replicate (4) an infrastructure for collection of metrics for assessment of adaptive resource management algorithms. The effectiveness of the benchmark for discriminating between good and bad QoS and resource management algorithms is shown via extensive experimentation. and move) of the benchmark applications, (3) interfaces for collection of QoS metrics from the benchmark applications, and

show abstract

Real-time systems design methodologies: An introduction and a survey

Cited by 16 publications

References 28 publications

Wireless Flight Data Recorder (FDR) for Airplanes

Wireless Flight Data Recorder (FDR) for Airplanes

Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software

A dynamic real-time benchmark for assessment of QoS and resource management technology

Contact Info

Product

Resources

About