BROWSE
Detail
Conference Paper
Applying Lightweight Formal Approach to Automatic Configuration Inspection
Cited - time in 
Share 
Share
- Authors
- Sa Choun Park, Gi Hwon Kwon
- Issue Date
- 2011-07
- Citation
- International Conference on Software Engineering and Knowledge Engineering (SEKE) 2011, pp.1-4
- Language
- English
- Type
- Conference Paper
- Abstract
- To alleviate the complexity and changeability of development of large scale embedded system, the Model Driven Development is accepted by various fields of industries and their standards. In this approach, design models with vast configuration data are translated into executives automatically. However it’s difficult to detect incorrect values from the configuration information. In this paper, we introduce lightweight formal approach using SMT solver for the automation of configuration inspection activity, which is rather to be suited to industrial purpose.
- KSP Keywords
- Automatic configuration, Configuration Information, Configuration data, Design model, Formal approach, Model driven development, SMT solver, embedded system, large-scale