ASSERTS: a toolkit for real-time software design, development and evaluation

Author

Ghose, Kanad ; Aggarwal, Sudhir ; Vasek, Pavel ; Chandra, Swarup ; Raghav, Amritansh ; Ghosh, Abhrajit ; Vogel, David R.

Author_Institution

Dept. of Comput. Sci., State Univ. of New York, Binghamton, NY, USA

fYear

1997

fDate

11-13 Jun 1997

Firstpage

224

Lastpage

232

Abstract

We describe a real time software engineering toolkit called ASSERTS that provides complementary analysis and simulation capabilities to assist the real time system designer. ASSERTS is configuration independent and allows users to describe the parameters of the hardware platform, interconnection and the kernel and the task system for the purpose of simulation and analysis. The simulation component of ASSERTS is quite detailed and features a number of built-in models for practical real time schedulers, interconnections and resource access protocols. Users can define the behavior of the tasks at various levels of abstraction using a fairly small set of macroinstructions. ASSERTS allows users to quickly gain an insight into the design of the software as it evolves and also allows “what if” studies to be done very easily

Keywords

computer aided software engineering; digital simulation; real-time systems; scheduling; software tools; ASSERTS; built-in models; configuration independent; hardware platform; macroinstructions; practical real time schedulers; real time software design toolkit; real time software engineering toolkit; real time system designer; resource access protocols; simulation capabilities; simulation component; task system; Analytical models; Delay; Hardware; Independent component analysis; Programming; Real time systems; Software design; Software systems; Time factors; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on

Conference_Location

Toledo

Print_ISBN

0-8186-8034-2

Type

conf

DOI

10.1109/EMWRTS.1997.613789

Filename

613789