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.


[img] PDF
Download (301Kb)


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
ePrint ID: 271448
Accepted Date and Publication Date:
4 May 2008Published
Date Deposited: 26 Jul 2010 20:35
Last Modified: 27 Mar 2014 20:16
Further Information:Google Scholar

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics