Formal verification process of the compliance of a multicore AUTOSAR OS.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 2, p. 497, doi. 10.1007/s11219-023-09626-4
- By:
- Publication type:
- Article
Works matching IS 09639314 AND DT 2023 AND VI 31 AND IP 2
Results: 10
1
2
Quality attribute traceability based on Clone Microtactics.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 2, p. 533, doi. 10.1007/s11219-022-09606-0
- By:
- Publication type:
- Article
3
Guest editorial: special issue on emerging challenges in software certification and verification.
- Published in:
- 2023
- By:
- Publication type:
- Editorial
4
Assessing the specification of modelling language semantics: a study on UML PSSM.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 2, p. 575, doi. 10.1007/s11219-023-09617-5
- By:
- Publication type:
- Article
5
Ergo, SMIRK is safe: a safety case for a machine learning component in a pedestrian automatic emergency brake system.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 2, p. 335, doi. 10.1007/s11219-022-09613-1
- By:
- Publication type:
- Article
6
Dynamic and execution views to improve validation, testing, and optimization of autonomous driving software.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 2, p. 405, doi. 10.1007/s11219-022-09609-x
- By:
- Publication type:
- Article
7
From DevOps to DevSecOps is not enough. CyberDevOps: an extreme shifting-left architecture to bring cybersecurity within software security lifecycle pipeline.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 2, p. 619, doi. 10.1007/s11219-023-09619-3
- By:
- Publication type:
- Article
8
Critical scenario identification for realistic testing of autonomous driving systems.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 2, p. 441, doi. 10.1007/s11219-022-09604-2
- By:
- Publication type:
- Article
9
Continuous design control for machine learning in certified medical systems.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 2, p. 307, doi. 10.1007/s11219-022-09601-5
- By:
- Publication type:
- Article
10
Prioritization and parallel execution of test cases for certification testing of embedded systems.
- Published in:
- Software Quality Journal, 2023, v. 31, n. 2, p. 471, doi. 10.1007/s11219-022-09594-1
- By:
- Publication type:
- Article