Towards A Semiformal Development Methodology for Embedded Systems
Cordeiro, Lucas, Barreto, Raimundo and Oliveira, Meuse (2008) Towards A Semiformal Development Methodology for Embedded Systems. In, 3rd International Conference on Evaluation of Novel Approaches to Software Engineering, Funchal, Madeira, Portugal, 04 - 07 May 2008. , 5-12.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (301Kb) |
Description/Abstract
In recent days, the amount of functions has increased significantly in embedded products so that systems development 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 development 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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: May 4-7, 2008 |
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science |
| Item ID: | 271448 |
| Date Deposited: | 26 Jul 2010 20:35 |
| Last Modified: | 02 Mar 2012 12:41 |
| Contributors: | Cordeiro, Lucas (Author) Barreto, Raimundo (Author) Oliveira, Meuse (Author) |
| Date: | 4 May 2008 |
| Additional Information: | Event Dates: May 4-7, 2008 |
| Status: | Published |
| Further Information: | Google Scholar |
| ISI Citation Count: | 1 |
| URI: | http://eprints.soton.ac.uk/id/eprint/271448 |
Actions (login required)
 |
View Item |
