Runtime Verification of Component-Based Embedded Software

Sözer, Hasan; Hofmann, Christian; Teki̇nerdoğan, Bedir; Akşit, Mehmet

doi:10.1007/978-1-4471-2155-8_60

Cited by 4 publications

(3 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These studies took place in their industrial context to promote the applicability and scalability of solutions under relevant practical constraints (Brinksma and Hooman 2008). The project involved research efforts in several different areas like runtime verification (Sozer et al 2011), error recovery (Sozer et al 2009), fault diagnosis (Zoeteweij et al 2007), software architecture analysis (Tekinerdogan et al 2008;Sozer et al 2013), and source code analysis (Boogerd and Moonen 2006). However, MBT was not in the focus of the project.…”

Section: Related Workmentioning

confidence: 99%

Model-based testing of digital TVs: an industry-as-laboratory approach

Sözer

Gebizli

2016

Software Qual J

Self Cite

View full text Add to dashboard Cite

Model-based testing is a promising approach for increasing the efficiency of the testing process and for improving software quality. It has been employed in the industry for more than a decade. Nevertheless, there are still challenges regarding its application in different domains. Some of these challenges are general, while some others are domainspecific. In this paper, we explain our experiences in enhancing model-based testing for its adoption in the consumer electronics domain, in particular for Digital TV systems. We applied the so-called industry-as-laboratory approach to define/refine research problems and evaluate our research results. We summarize these results and provide an evaluation of relevant research problems for our context. We observed that the industry-as-laboratory approach is highly effective for industry-academia collaboration and technology transfer in the scope of model-based software testing.

show abstract

Section: Related Workmentioning

confidence: 99%

Model-based testing of digital TVs: an industry-as-laboratory approach

Sözer

Gebizli

2016

Software Qual J

Self Cite

View full text Add to dashboard Cite

show abstract

“…The approach also reduces the time and effort needed to develop software [38,39]. Moreover, CBSD facilitates the development of components that are independent of specific applications and improves the reusability of components [34,40]. Software system developers can thus maximize existing structures and components, thereby improving the efficiency of software development [41,42].…”

Section: Descriptionmentioning

confidence: 99%

2DCBS: A Model for Developing Dependable Component-Based Software

Kahtan

Nordin

et al. 2016

Preprint

View full text Add to dashboard Cite

The software industry has adopted component-based software development (CBSD) to rapidly build and deploy large and complex software systems with significant savings at minimal engineering effort, cost, and time. However, CBSD encounters issues on security trust, mainly with respect to dependability attributes. A system is considered dependable when it can produce the outputs for which it was designed with no adverse effect on its intended environment. Dependability consists of several attributes that imply availability, confidentiality, integrity, reliability, safety, and maintainability. Dependability attributes must be embedded in a CBSD model to develop dependable component software. Motivated by the importance of these attributes, this paper pursues two objectives: to design a model for developing a dependable system that mitigates the vulnerabilities of software components, and to evaluate the proposed model. The model proposed in this study is labelled as developing dependable component-based software (2DCBS). To develop this model, the CBSD architectural phases and processes must be framed and the six dependability attributes embedded according to the best practice method. The expert opinion approach was applied to evaluate 2DCBS framing. In addition, the 2DCBS model was applied to the development of an information communication technology (ICT) portal through an empirical study method. Vulnerability assessment tools (VATs) were employed to verify the dependability attributes of the developed ICT portal. Results show that the 2DCBS model can be adopted to develop web application systems and to mitigate the vulnerabilities of the developed systems. This study contributes to CBSD and facilitates the specification and evaluation of dependability attributes throughout model development. Furthermore, the reliability of the dependable model can increase confidence in the use of CBSD for industries.

show abstract

“…-Error detection: Various techniques for error detection are investigated such as hardware-based deadlock detection and range checking. An approach which checks the consistency of internal modes of components turned out to be successful to detect teletext problems due to a loss of synchronization between components [4]. -Diagnosis: The diagnoses techniques developed within Trader are based on so-called program spectra [5].…”

Section: Approachmentioning

confidence: 99%

Model-Based Run-Time Error Detection

Hooman

Hendriks²

Models in Software Engineering

View full text Add to dashboard Cite

Abstract. The reliability of high-volume products, such as consumer electronic devices, is threatened by the combination of increasing complexity, decreasing time-to-market, and strong cost constraints. As an approach to maintain a high level of reliability and to avoid customer complaints, we present a run-time awareness concept. Part of this concept is the use of models for run-time error detection. We have implemented a general awareness framework in which an application and a model of its desired behaviour can be inserted. It allows both time-based and eventbased error detection at run time. This method, coupled to local recovery techniques, aims to minimize any user exposure to product-internal technical errors, thereby improving user-perceived reliability.

show abstract

Runtime Verification of Component-Based Embedded Software

Cited by 4 publications

References 11 publications

Model-based testing of digital TVs: an industry-as-laboratory approach

Model-based testing of digital TVs: an industry-as-laboratory approach

2DCBS: A Model for Developing Dependable Component-Based Software

Model-Based Run-Time Error Detection

Contact Info

Product

Resources

About