Analyzing Behavior of Concurrent Software Designs for Embedded Systems

Pettit, Robert G.; Gomaa, Hassan

doi:10.1109/isorc.2007.20

Cited by 15 publications

(5 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Besides the formal techniques so far mentioned in this section, some studies commented the use of formal techniques like Finite State Machines, Petri Nets and Statecharts for constructing embedded systems [21,30].…”

Section: Facet 1 -Formal Modelling Techniquesmentioning

confidence: 99%

A Systematic Mapping of Architectures for Embedded Software

Antonio

Ferrari

Fabbri

2012

2012 Second Brazilian Conference on Critical Embedded Systems

View full text Add to dashboard Cite

Context: representing software architectures for embedded systems, together with an adequate development process, configures a fundamental step to enhance the quality of the derived software products. Objectives: This papers aims at presenting a multifaceted characterisation of different techniques used for representing software architectures for embedded systems. Method: A systematic map was built to help the comprehension of how the research community has been investigating and describing software architectures for embedded systems. The identified primary studies were analysed and classified according to three facets in order to characterise the current research and to identify research gaps that shall be explored in the future. Results: the produced map makes explicit the most investigated topics in architecture representation for embedded systems as well as the research needs. It also helps researchers to allocate their efforts to properly represent software architectures as part of an adequate software development process.Index Terms-Critical embedded systems, embedded software, reference architecture, software development process

show abstract

Section: Facet 1 -Formal Modelling Techniquesmentioning

confidence: 99%

A Systematic Mapping of Architectures for Embedded Software

Antonio

Ferrari

Fabbri

2012

2012 Second Brazilian Conference on Critical Embedded Systems

View full text Add to dashboard Cite

show abstract

“…Many approaches to analyze the performance of embedded and real-time systems have been developed. For our purposes, these approaches can be broadly categorized as those exploring performance through analytical techniques [1][2][3][4][5][6] or through simulation [7][8][9][10]. The cost-performance analysis approach presented in this paper does not prescribe the use of a particular performance analysis method.…”

Section: Related Workmentioning

confidence: 99%

“…These platform specific performance characteristics and costs were also listed in the morphological box. The performance characteristics were selected based on the notational embedded system framework described in [9]. This framework shows which platform characteristics need to be included in the design of concurrent software.…”

Section: Hardware Configuration Selectionmentioning

confidence: 99%

See 1 more Smart Citation

Cost-Performance Tradeoff for Embedded Systems

Fant

Pettit

2008

Software Technologies for Embedded and Ubiquitous Systems

View full text Add to dashboard Cite

Software engineering requires creativity, thorough design and analysis, and sound design decisions. Design decisions often have tradeoffs and implications associated with them. Therefore, it is important that design decisions are based on sound analysis. With respect to embedded systems, key drivers are often performance and cost. Thus the purpose of this paper is to describe an approach to aid in the design decision process on cost and performance tradeoffs for embedded systems. Specifically, it presents a model-driven approach to understand and communicate the performance-cost tradeoff.

show abstract

“…In order to achieve this goal, several works have been done to transform the software architectural models to the analyzable formal models. Some examples are deriving Queuing Network models from UML diagrams [6] or translating some of the UML diagrams to the Perti Nets [7,8]. In [9] constructing and analyzing two kinds of performance models are proposed: software execution model and system execution model.…”

Section: Introductionmentioning

confidence: 99%