Constraint-based test generation for automotive operating systems
This work suggests a method for systematically constructing a software-level environment
model for safety checking automotive operating systems by introducing a constraint …
model for safety checking automotive operating systems by introducing a constraint …
[HTML][HTML] Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation
An automotive operating system is a safety-critical system that has a critical impact on the
safety of road vehicles. Safety verification is a must in each stage of software development in …
safety of road vehicles. Safety verification is a must in each stage of software development in …
Constraint specification and test generation for OSEK/VDX-based operating systems
Y Choi - International conference on software engineering and …, 2013 - Springer
This work suggests a method for systematically constructing an environment model for
automotive operating systems compliant with the OSEK/VDX international standard by …
automotive operating systems compliant with the OSEK/VDX international standard by …
A method for scalable and precise bug finding using program analysis and model checking
M Valdiviezo, C Cifuentes, P Krishnan - Asian Symposium on …, 2014 - Springer
This paper presents a technique for defect detection in large code bases called model-
based analysis. It incorporates ideas and techniques from program analysis and model …
based analysis. It incorporates ideas and techniques from program analysis and model …
SAT-based bounded software model checking for embedded software: a case study
Conventional manual testing often misses corner case bugs in complex embedded software,
which can incur large economic loss. To overcome the weakness of manual testing …
which can incur large economic loss. To overcome the weakness of manual testing …
[PDF][PDF] Codeant: Code slicing tool for effective software verification
M Park, D Kim, Y Choi - KIPS transactions on software and data …, 2015 - academia.edu
Safety critical systems require exhaustive verification of safety properties, because even a
single corner-case fault can cause a critical safety failure. However, existing verification …
single corner-case fault can cause a critical safety failure. However, existing verification …
A review of OSEK/VDX application verification methods
X Zhang, F Lu, M Cui - Proceedings of the 5th International Conference …, 2019 - dl.acm.org
OSEK/VDX is a set of standards for distributed real-time systems that are widely adopted by
automotive electronics industries. The correctness of OSEK/VDX programs has a major …
automotive electronics industries. The correctness of OSEK/VDX programs has a major …
A function finder for property-based extraction of test target functions
D Kim, M Park, Y Choi - Proceedings of the Korea Information …, 2013 - koreascience.kr
고안전성이 요구되는 내장형 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여
전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다 …
전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다 …
Code Slicing Tool for Effective Software Verification
D Kim, M Park, Y Choi - Proceedings of the Korea Information …, 2014 - koreascience.kr
고안전성이 요구되는 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여
전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다 …
전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다 …
[PDF][PDF] 소프트웨어의안전성검증을위한모델검증도구
MG Park, YJ Choe - Communications of the Korean Institute of …, 2014 - koreascience.kr
우선 하이브리드 자동차에서 전력제어장치(컨버터)를 Page 1 라서, 제품의 출하 이후 내장형
소프트웨어 발생했을 시, 대규모 리콜 이은 대규모 리콜을 시행한 사례가 이를 뒷받침한다. 우선 …
소프트웨어 발생했을 시, 대규모 리콜 이은 대규모 리콜을 시행한 사례가 이를 뒷받침한다. 우선 …