Model-based verification of embedded software

Hesham Shokry, Mike Hinchey

Research output: Contribution to specialist publicationArticle

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 languageEnglish
Pages53-59
Number of pages7
Volume42
No.4
Specialist publicationComputer
DOIs
Publication statusPublished - 2009

Keywords

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

Fingerprint

Dive into the research topics of 'Model-based verification of embedded software'. Together they form a unique fingerprint.

Cite this