Title :
Model-Based Verification of Embedded Software
Author :
Shokry, Hesham ; Hinchey, Mike
Author_Institution :
Lero - The Irish Software Eng. Res. Centre
fDate :
4/1/2009 12:00:00 AM
Abstract :
Current advances in model-based development technology indicate that embedded-software developers can expect more tool support for the whole embedded-software spectrum, from applications to system software.
Keywords :
embedded systems; program verification; development; embedded software development; embedded-software-engineering; model-based development technology; model-based verification; Algorithm design and analysis; Application software; Automotive engineering; Control systems; Design engineering; Electromechanical systems; Embedded software; Mathematical model; System testing; Systems engineering and theory; Lero; embedded software development; model-based development;
DOI :
10.1109/MC.2009.125
