CoConES: An Approach for Components and Contracts in Embedded Systems

Park

International Journal of Distributed Sensor Networks

2014

The process of creating secure embedded systems with sensor network is highly challenging and complex, particularly from a technical viewpoint. A secure embedded system is used for a specific purpose and operation, and needs hardware-software codesign methodology. As such, there are many considerations in terms of system design when the system developer creates or constructs a secure embedded system with sensor network. However, there is a lack of research into quality models in the area of secure embedded systems in sensor network. This paper seeks to redress this issue by presenting a quality model for a secure embedded system with sensor network. Each quality for the secure embedded system is constructed according to DeLone and McLean's success information system, and has subcriteria according to their characteristics. The present research also focuses on making a quality model network which considers the correlation between the qualities' attributes.

Section: A Secure Embedded System Andmentioning

confidence: 99%

An ANP-Based Practical Quality Model for a Secure Embedded System with Sensor Network

Park

International Journal of Distributed Sensor Networks

2014

“…These constructs capture behavioral dependencies specified with a set of preconditions and invariants [30]. The contract principle was also applied to component-based systems, to extend component interfaces with behavioral constraints [10]. Hereby, contracts are used to check the compliance of components.…”

Section: Interaction-based Approachesmentioning

confidence: 99%

Composing domain-specific physical models with general-purpose software modules in embedded control software

2012

Due to copyright restrictions, the access to the full text of this article is only available via subscription.A considerable portion of software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part of the embedded control software. In current practices, usually general-purpose languages (GPL), such as C/C++ are used for embedded systems development. Although a GPL is suitable for expressing general-purpose computation, it falls short in expressing the models of physical characteristics as desired. This reduces not only the readability of the code but also hampers reuse due to the lack of dedicated abstractions and composition operators. Moreover, domain-specific static and dynamic checks may not be applied effectively. There exist domain-specific modeling languages (DSML) and tools to specify models of physical characteristics. Although they are commonly used for simulation and documentation of physical systems, they are often not used to implement embedded control software. This is due to the fact that these DSMLs are not suitable to express the general-purpose computation and they cannot be easily composed with other software modules that are implemented in GPL. This paper presents a novel approach to combine a DSML to model physical characteristics and a GPL to implement general-purpose computation. The composition filters model is used to compose models specified in the DSML with modules specified in the GPL at the abstraction level of both languages. As such, this approach combines the benefits of using a DSML to model physical characteristics with the freedom of a GPL to implement general-purpose computation. The approach is illustrated using two industrial case studies from the printing systems domain

Computer and Information Sciences II

“…Behavior protocols [8] and contracts [9] have been mainly used to formalize component interaction and utilized for design-time verification. The scheme proposed by Thai et al in [10] detects errors by checking consistency of states.…”

Section: Related Workmentioning

confidence: 99%

Runtime Verification of Component-Based Embedded Software

Sözer

Hofmann

Teki̇nerdoğan

et al. 2011

To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and the working modes of the other components. To detect mode inconsistencies at runtime, we propose a ''lightweight'' error detection mechanism, which can be integrated with component-based embedded systems. We define links among three levels of abstractions: the runtime behavior of components, the working mode specifications of components and the specification of the working modes of the system. This allows us to detect the user observable runtime errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system.