DMCA
Aligning Exception Handling with Design-by-Contract in Embedded Real-Time Systems Development
by
Luis E. Leyva-del-foyo
,
Pedro Mejia-alvarez
,
Dionisio De Niz
BibTeX
@MISC{Leyva-del-foyo_aligningexception,
author = {Luis E. Leyva-del-foyo and Pedro Mejia-alvarez and Dionisio De Niz},
title = {Aligning Exception Handling with Design-by-Contract in Embedded Real-Time Systems Development},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. In this paper we introduce an exception handling mechanism, which is part of the kernel of an operating system for embedded applications. Our approach is based on the theory of design by contract and is adapted for the development of embedded real-time systems. 1
