“…Furthermore, we classified six articles into the subcategory "analysis of properties" [3,10,11,18,20,33], as those papers concentrate on specific quality properties to be addressed with analysis techniques. For example, Farkas and Grund [33] present an approach that checks custom rules, industry standards, and enterprise-wide guidelines.…”
Section: Discussionmentioning
confidence: 99%
“…Furthermore, the model-based framework INProVE supports definition of quality metrics [18] that can be checked automatically. Popovici and Lalo [20] describe an approach that checks properties of a model and proves the absence of certain run-time errors.…”
Section: Discussionmentioning
confidence: 99%
“…18 papers consider analysis, 19 papers describe test techniques applied to Matlab Simulink models, and 7 papers present combinations. 41% analysis test [3,8,10,11,16,17,18,19,20,21,22,23,24,25,29,33 Figure 4 shows the publication years of the result set. It can be seen that none of the relevant publications was published before 2000, and that 75% of the papers were published in the last five years.…”
Section: Rq1: Classification Of Approachesmentioning
Matlab Simulink is one of the major modeling and simulation tools applied in different embedded systems domain. Quality assurance is an essential, but often highly effort-consuming part of software development. A lot of different quality assurance techniques exist to ensure high quality, but these analysis and testing techniques are often applied in isolation. Therefore, we are interested in synergy effects when applying them in combination. Consequently, we performed a systematic mapping study to identify the current state of the art regarding such quality assurance techniques and existing combinations. Our main result is a classification of existing quality assurance techniques applied on Matlab Simulink models, and an overview of existing tool support and the validity of the approaches.
“…Furthermore, we classified six articles into the subcategory "analysis of properties" [3,10,11,18,20,33], as those papers concentrate on specific quality properties to be addressed with analysis techniques. For example, Farkas and Grund [33] present an approach that checks custom rules, industry standards, and enterprise-wide guidelines.…”
Section: Discussionmentioning
confidence: 99%
“…Furthermore, the model-based framework INProVE supports definition of quality metrics [18] that can be checked automatically. Popovici and Lalo [20] describe an approach that checks properties of a model and proves the absence of certain run-time errors.…”
Section: Discussionmentioning
confidence: 99%
“…18 papers consider analysis, 19 papers describe test techniques applied to Matlab Simulink models, and 7 papers present combinations. 41% analysis test [3,8,10,11,16,17,18,19,20,21,22,23,24,25,29,33 Figure 4 shows the publication years of the result set. It can be seen that none of the relevant publications was published before 2000, and that 75% of the papers were published in the last five years.…”
Section: Rq1: Classification Of Approachesmentioning
Matlab Simulink is one of the major modeling and simulation tools applied in different embedded systems domain. Quality assurance is an essential, but often highly effort-consuming part of software development. A lot of different quality assurance techniques exist to ensure high quality, but these analysis and testing techniques are often applied in isolation. Therefore, we are interested in synergy effects when applying them in combination. Consequently, we performed a systematic mapping study to identify the current state of the art regarding such quality assurance techniques and existing combinations. Our main result is a classification of existing quality assurance techniques applied on Matlab Simulink models, and an overview of existing tool support and the validity of the approaches.
“…Much effort has been put into creating embedded system development environments that promote the early detection of bugs through formal verification [41][45] [46] [47]. In these approaches, a system must be represented at the correct level of abstraction to reduce complexity for the model checker, a problem to which many solutions have been proposed [44].…”
Section: Practical Integration Of Simulation and Early Formal Verificmentioning
With the Life Extension Programs (LEPs), many nuclear weapon (NW) analog electronic components are being replaced by modern digital devices, increasing system complexities dramatically. Ensuring the reliability, security, and robustness of these upgraded systems is critically important. Many custom hardware systems throughout the NW operations space rely on Field-Programmable Gate Arrays (FPGAs) to implement sophisticated logic. Effective verification, while increasing confidence, can reduce the overall effort in system debugging and testing. This work explored Formal Verification (FV) of trusted FPGA-based hardware designs through the use of novel algorithms. The algorithms developed support the analysis of critical digital components, such as memory, with mathematical reasoning from automated theorem proving and model checking. Such verification will detect race conditions and corner cases at an early stage, eliminating system failure and instability during operation.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.