Abstract
We describe a real-time software engineering toolkit called ASSERTS that provides complementary analysis and simulation capabilities to assist the designer of multiprocessor/distributed real-time systems. ASSERTS allows users to describe the parameters of the hardware platform, interconnection and the kernel, the programming model (shared or distributed memory) 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 simulation models for practical real-time schedulers, interconnections as well as models of resource access protocols (such as priority inheritance and priority ceiling protocol). Users can describe the behavior of the tasks at various levels of abstraction using a fairly small set of about 20 macroinstructions for the purpose of simulation. © Springer-Verlag Berlin Heidelberg 1999.
Cite
CITATION STYLE
Ghose, K., Aggarwal, S., Ghosh, A., Goldman, D., Sulatycke, P., Vasek, P., & Vogel, D. R. (1999). Designing multiprocessor/distributed real-time systems using the ASSERTS toolkit. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1685 LNCS, pp. 505–510). Springer Verlag. https://doi.org/10.1007/3-540-48311-x_69
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
