Model-based verification of embedded software

Hesham Shokry; Mike Hinchey

doi:10.1109/MC.2009.125

Model-based verification of embedded software

Hesham Shokry
, Mike Hinchey

Lero - The Irish Software Engineering Research Centre

Research output: Contribution to specialist publication › Article

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.

Original language	English
Pages	53-59
Number of pages	7
Volume	42
No.	4
Specialist publication	Computer
DOIs	https://doi.org/10.1109/MC.2009.125
Publication status	Published - 2009

Keywords

Control systems
Data mining
Embedded software development
Lero
Model-based development
Probability density function
Real time systems
Software
Software architecture
Testing

Access to Document

10.1109/MC.2009.125

Cite this

@misc{1c25eb4fc31c4dcd9524d974a0960332,

title = "Model-based verification of embedded software",

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 = "Control systems, Data mining, Embedded software development, Lero, Model-based development, Probability density function, Real time systems, Software, Software architecture, Testing",

author = "Hesham Shokry and Mike Hinchey",

year = "2009",

doi = "10.1109/MC.2009.125",

language = "English",

volume = "42",

pages = "53--59",

journal = "Computer",

issn = "0018-9162",

}

TY - GEN

T1 - Model-based verification of embedded software

AU - Shokry, Hesham

AU - Hinchey, Mike

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Control systems

KW - Data mining

KW - Embedded software development

KW - Lero

KW - Model-based development

KW - Probability density function

KW - Real time systems

KW - Software

KW - Software architecture

KW - Testing

UR - https://www.scopus.com/pages/publications/67649359733

U2 - 10.1109/MC.2009.125

DO - 10.1109/MC.2009.125

M3 - Article

AN - SCOPUS:67649359733

SN - 0018-9162

VL - 42

SP - 53

EP - 59

JO - Computer

JF - Computer

ER -

Model-based verification of embedded software

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this