TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS

Lucas Cordeiro, Raimundo Barreto, Meuse Oliveira

2008

Abstract

In recent days, the amount of functions has increased significantly in embedded products so that systems de- velopment methodologies play an important role to ensure the product’s quality, cost, and time. Furthermore, this complexity coupled with constantly evolving specifications, has led to propose a semiformal develop- ment methodology to support the building of embedded real-time systems. A platform-based design approach has been used to balance costs and time-to-market in relation to performance and functionality constraints. We performed three expressive case studies and we concluded that the proposed methodology significantly reduces design time and improves software modularity and reliability.

Paper Citation

in Harvard Style

Cordeiro L., Barreto R. and Oliveira M. (2008). TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS . In Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8111-28-9, pages 5-12. DOI: 10.5220/0001758800050012

in Bibtex Style

@conference{enase08,
author={Lucas Cordeiro and Raimundo Barreto and Meuse Oliveira},
title={TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS},
booktitle={Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2008},
pages={5-12},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001758800050012},
isbn={978-989-8111-28-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS
SN - 978-989-8111-28-9
AU - Cordeiro L.
AU - Barreto R.
AU - Oliveira M.
PY - 2008
SP - 5
EP - 12
DO - 10.5220/0001758800050012