[IEEE 2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel & Distributed Computing (SNPD) - Kyoto, Japan (2012.08.8-2012.08.10)] 2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing - A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments