Automated design, verification and testing of secure systems with embedded devices based on elicitation of expert knowledge

Desnitsky, Vasily; Kotenko, Igor

doi:10.1007/s12652-016-0371-6

Cited by 10 publications

(4 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, some firms do not have their own factories, so they can focus on activities that are more profitable [2], while others continue expanding their manufacturing capacity to further drive down costs [3]. Other common strategies include: outsourcing [4], the blue ocean strategy [5], better scheduling [6,7], factory simulation [8,9], green and lean technologies [10][11][12], applying the competitiveness diamond model [13], cyber-physical systems and cloud manufacturing [14][15][16], developing next-generation technologies [17,18], forming alliances [19,20], etc.…”

Section: Introductionmentioning

confidence: 99%

Competitive and Sustainable Manufacturing in the Age of Globalization

Chen

2016

Sustainability

View full text Add to dashboard Cite

Abstract:Competitiveness is the ability and performance of a firm, subsector or country to sell or supply goods or services in a given market. The competitiveness and sustainability of an enterprise are closely related. Competitiveness has received ever-growing attention in the era of globalization. This Special Issue provides a forum for researchers and practitioners to review and disseminate quality research work on competitive and sustainable manufacturing in the era of globalization and their applications, and to identify critical issues for further developments.

show abstract

Section: Introductionmentioning

confidence: 99%

Competitive and Sustainable Manufacturing in the Age of Globalization

Chen

2016

Sustainability

View full text Add to dashboard Cite

show abstract

“…A number of papers raise the concerns related to security issues, for example [3,6,10], and analyze the possible security problems [4,5]. Moreover, for security testing as a standalone discipline, a number of reports can be found, as an example, we can give [11,12]. Furthermore, a number of secure architectures on a conceptual and physical level are discussed, for instance [13,14].…”

Section: Iot Testbeds 38mentioning

confidence: 99%

Internet of Things: Current Challenges in the Quality Assurance and Testing Methods

Bureš

Černý

Ahmed

2018

Lecture Notes in Electrical Engineering

View full text Add to dashboard Cite

Contemporary development of the Internet of Things (IoT) technology brings a number of challenges in the Quality Assurance area. Current issues related to security, user's privacy, the reliability of the service, interoperability, and integration are discussed. All these create a demand for specific Quality Assurance methodology for the IoT solutions. In the paper, we present the state of the art of this domain and we discuss particular areas of system testing discipline, which is not covered by related work sufficiently so far. This analysis is supported by results of a recent survey we performed among ten IoT solutions providers, covering various areas of IoT applications.

show abstract

“…Academia is very concerned about methods for formal verification of the safety of an OS in ITS, which is related not only to implementation but also, initially, to system design Desnitsky and Kotenko (2016). An OS in ITS designed without consideration of safety requirements may not be safe even though the implementation is correct.…”

Section: Introductionmentioning

confidence: 99%

Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture

Qian

Jin

Sun

et al. 2021

J Ambient Intell Human Comput

View full text Add to dashboard Cite

The accuracy of design and implementation of an operating system in intelligent transportation systems is difficult to describe and validate because of its complexity. In this paper, we describe an OS in intelligent transportation systems with automaton theory and establish an OS state model. Based on this model, we construct an isomorphic model in Isabelle/HOL, describe the work objects and operational semantics of the system, and verify the system at the assembly level. We use a micro-kernel OS prototype (VSOS) for intelligent transportation systems as an example to illustrate our method and verify the correctness of design and implementation in VSOS with Isabelle/HOL. Verification shows that the proposed method is feasible.

show abstract

Automated design, verification and testing of secure systems with embedded devices based on elicitation of expert knowledge

Cited by 10 publications

References 22 publications

Competitive and Sustainable Manufacturing in the Age of Globalization

Competitive and Sustainable Manufacturing in the Age of Globalization

Internet of Things: Current Challenges in the Quality Assurance and Testing Methods

Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture

Contact Info

Product

Resources

About