Formal Verification approaches of Self-adaptive Systems: A Survey

Hachicha, Marwa; Halima, Riadh Ben; Kacem, Ahmed Hadj

doi:10.1016/j.procs.2019.09.357

Cited by 11 publications

(3 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The rapid growth in the degree of integration of technological components of DIS often does not give an idea of their internal structure, being limited to the functional and information specifications of certain presentation levels [24]. As a result, both the design of DIS and testing in its composition, with rare exceptions, for example, FPGA [25,26], are significantly shifted from logical-electrical to architectural, systemfunctional levels [27,28] and use complex technologies [29,30] based on models and calculi of different classes.…”

Section: Introductionmentioning

confidence: 99%

“…As noted, for real large systems, complex design and testing technologies are the most effective [29,30], various interrelated methods of which take into account as much as possible all the information available in the input specifications about the architecture, technologies, operation, information structures of DIS and their components. In this case, it becomes possible to use information about the calculated and empirical energy characteristics of the DIS components in the most complete, diverse, in statics and dynamics.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Control optimization of automatic multistage transmission in cityelectric bus

Martynyuk¹,

Nesterenko²,

Thuong³

et al. 2022

AAIT

View full text Add to dashboard Cite

Early testing of the reliability of functioning, performed before the occurrence of critical emergency situations, plays an important role in the theory and practice of monitoring and diagnosing various technical systems, including computer distributed information systems. Many checking and diagnostic methods directly or indirectly use the energy characteristics of systems, that are directly related to the work they execute, that is, their performance. The proposed elements of the technology of behavioral energy-consumption testing are based on the corresponding models and methods, supplemented by the registration and analysis of inertial temperature and operational volt/ampere characteristics of the test behavior of systems, at the model level represented by extended energy-consumption Petri nets. The elements of behavioral testing technology, proposed in this work, are distinguished by an additional set of calculated and empirical boundary temperature and volt/ampere characteristics of both systems and their components. These characteristics represent states/vertexes, positions/transitions, fragments and scenarios of operation, that are critical in terms of energy consumption, which gives grounds for their monitoring. A feature of these elements of the technology is also the possibility of determining and using natural identifying properties of energy characteristics in behavioral testing, which allows them to be used in check and recognition experiments for the reliability of functioning, both independently and in conjunction with behavioral analysis. The use of additional analysis of energy consumption by temperature and volt/ampere characteristics, as part of complex testing technologies and automatic systems of technical diagnostic, based on them, makes it possible to increase the efficiency, completeness and flexibility of behavioral online and offline testing for computer distributed information systems.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Control optimization of automatic multistage transmission in cityelectric bus

Martynyuk¹,

Nesterenko²,

Thuong³

et al. 2022

AAIT

View full text Add to dashboard Cite

show abstract

Section: Introductionmentioning

confidence: 99%

Technology elements of behavioral energy testing of distributedinformation systems

Martynyuk,

Nesterenko,

Thuong

et al. 2022

HAIT

View full text Add to dashboard Cite

Early testing of the reliability of functioning, performed before the occurrence of critical emergency situations, plays an important role in the theory and practice of monitoring and diagnosing various technical systems, including computer distributed information systems. Many checking and diagnostic methods directly or indirectly use the energy characteristics of systems, that are directly related to the work they execute, that is, their performance. The proposed elements of the technology of behavioral energy-consumptiontesting are based on the corresponding models and methods, supplemented by the registration and analysis of inertial temperature and operational volt/ampere char-acteristics of the test behavior of systems, at the model level represented by extendedenergy-consumptionPetri nets. The elements of behav-ioral testing technology,proposed in thiswork,are distinguished by an additional set of calculated and empirical boundary temperature and volt/ampere characteristics of both systems and their components. These characteristics represent states/vertexes,positions/transitions,frag-ments and scenarios of operation,that are critical in terms of energy consumption, which gives grounds for their monitoring. A feature of these elements of the technology is also the possibility of determining and using natural identifying properties of energy characteristics in behavioral testing, which allows them to be used in check and recognition experiments for the reliability of functioning, both independently and in conjunction with behavioral analysis. The use of additional analysis of energy consumption by temperature and volt/ampere character-istics,as part of complex testing technologies and automatic systems of technical diagnostic,based on them,makes it possible to increase the efficiency, completeness and flexibility of behavioral online and offline testing for computer distributed information systems.

show abstract

Formally Verified Self-adaptation of an Incubator Digital Twin

Gomes

Woodcock

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Formal Verification approaches of Self-adaptive Systems: A Survey

Cited by 11 publications

References 15 publications

Control optimization of automatic multistage transmission in cityelectric bus

Control optimization of automatic multistage transmission in cityelectric bus

Technology elements of behavioral energy testing of distributedinformation systems

Formally Verified Self-adaptation of an Incubator Digital Twin

Contact Info

Product

Resources

About