Embedded Software: Facts, Figures, and Future

Ebert, Christof; Jones, Capers

doi:10.1109/mc.2009.118

Cited by 262 publications

(151 citation statements)

References 4 publications

Supporting

Mentioning

142

Contrasting

Unclassified

Order By: Relevance

“… Embedded Applications: these are applications that are written inside Read-Only Memories (ROM) of computing controlled appliances. These types of applications differ significantly from desktop and web application mainly in environmental conditions such as real time, performance expectations, maintenance difficulty, changing platforms, just to mention [9].  Mobile Applications: these are applications that run on mobile devices such as PDA, GSM and Android phones, etc.…”

Section: Classes Of Computer Applicationsmentioning

confidence: 99%

Impacts of Object Oriented Programming on Web Application Development

U.¹,

U.²,

Madubuike³

et al. 2015

IJCATR

View full text Add to dashboard Cite

Development of web application nowadays can hardly survive without object oriented approach except for the purpose of just information display. The complexity of application development and the need for content organization has raised the need for web application developers to embrace object oriented programming approach. This paper exposes the impact of object oriented programming on web application development. The exposition was done through a detailed study and analysis of information from secondary sources. The internet was usefully employed to access journal articles for both national and international sources. Our study enables web developers and designers to understand web application features, tools and methodologies for developing web application. It also keeps researchers and scholars abreast of the boost which OOP has brought into Web Applications development.

show abstract

Section: Classes Of Computer Applicationsmentioning

confidence: 99%

Impacts of Object Oriented Programming on Web Application Development

U.¹,

U.²,

Madubuike³

et al. 2015

IJCATR

View full text Add to dashboard Cite

show abstract

“…They are becoming more and more sophisticated towards open, interconnected and networked systems. Due to the complexity of the context in which they operate, their defects can cause lifethreatening situations and may have a huge economical impact [19]. In order to improve their efficiency and cost, their quality must be ensured with a rigorous analysis especially for those functions that have safety-critical requirements.…”

Section: Introductionmentioning

confidence: 99%

Tightening the contract refinements of a system architecture

Cimatti

Demasi

Tonetta

2018

Form Methods Syst Des

View full text Add to dashboard Cite

Contract-based design is an emerging paradigm for correct-by-construction hierarchical systems: components are associated with assumptions and guarantees expressed as formal properties; the architecture is analyzed by verifying that each contract of composite components is correctly refined by the contracts of its subcomponents. The approach is very efficient, because the overall correctness proof is decomposed into proofs local to each component. However, the process for the contract specification and refinement is quite expensive because the requirements are formalised into formal properties, where part of the complexity is delegated to the designer, who has the burden of specifying the contracts. Typical problems include understanding which contracts are necessary, and how they can be simplified without breaking the correctness of the refinement and other refinements in case some subcontracts are shared. In this paper, we tackle these problems by proposing a technique to understand and simplify the contract refinements of a system architecture during the development process for the contract specification and refinement. The technique, called tightening, is based on parameter synthesis. The idea is to generate a set of parametric proof obligations, where each parameter evaluation corresponds to a variant of the original(s) contract refinement(s), and to search for tighter variants of the contracts that still ensure the correctness of the refinement(s). We cast this approach in the OCRA framework, where contracts are expressed with LTL formulas, and we evaluate its performance and effectiveness on a number of benchmarks.

show abstract

“…Each delta has an application condition that specifies the feature configurations on which the modifications are applicable. As SPL engineering is increasingly used in the development of mission-critical and safety-critical systems such as embedded systems [4], formal verification of software product lines is essential. Recently, a number of approaches has been proposed to deductively verify delta-oriented SPLs using theorem proving [5,6,7,8].…”

Section: Introductionmentioning

confidence: 99%

Delta Modeling and Model Checking of Product Families

Sabouri

Khosravi

2013

Fundamentals of Software Engineering

View full text Add to dashboard Cite

Abstract. Software product line engineering focuses on proactive reuse to reduce the cost of developing families of related systems. A recently proposed method to develop software product lines is delta modeling where a set of deltas specify modifications that should be applied to a core product to achieve other products. The main advantage of this technique is its modularity and flexibility. In this paper, we propose an approach to model check delta-oriented product lines. To this end, we transform a delta model to a corresponding annotated model where an application condition is associated to each statement. An application condition specifies the set of products that a statement is included in them. We present the semantics of the resulting model in form of a featured transition system where each transition is annotated with an application condition. Featured transition systems are supported by a variability-aware model checking technique that can be used to verify the annotated model.

show abstract

Embedded Software: Facts, Figures, and Future

Cited by 262 publications

References 4 publications

Impacts of Object Oriented Programming on Web Application Development

Impacts of Object Oriented Programming on Web Application Development

Tightening the contract refinements of a system architecture

Delta Modeling and Model Checking of Product Families

Contact Info

Product

Resources

About