Home Nodes OMiLAB Nodes OMILAB@JeonBuk National University

Visit OMiLAB Node

OMILAB@JeonBuk National University

"Towards Formal Methods of IoT Application"

The OMILAB node at JeonBuk National University in Korea works in the field of smart intelligent systems, including model-based verification support of complex environment and their simulation.

The OMiLAB Korea aims to initiate the Open Model Community in Korea, as well as, to expand this community to East and South Asia. The lab follows the notion and goals of the Open Models to realize the openness of the knowledge of mankind.

project image

About the OMILAB Node

The OMILAB node at JeonBuk National University in Korea works in the field of smart intelligent systems, including model-based verification support of complex environment and their simulation. The OMiLAB Korea aims to initiate the Open Model Community in Korea, as well as, to expand this community to East and South Asia. The lab follows the notion and goals of the Open Models to realize the openness of the knowledge of mankind. OMiLAB Korea has been actively involved in several initiative activities in Korea, as well as East Asia: organizing leading modeling and formal method groups, developing modeling and formal method tools, providing ADOxx trainings and tutorials, publishing ADOxx-based approaches and tools, promoting joint projects using ADOxx, etc. One of the most noticeable activities is definitely the tool development. The main tools developed so far in OMiLAB Korea include SAVE, which is a formal specification and verification tool based on δ-Calculus and GTS-Logic, PRISM, which is a collective behavior modeling and composition tool for business knowledge based on Behavior Ontology, and SRRE, which is a SW reverse engineering tool for enterprise systems based on round-trip engineering.

Competences

Formal specification and verification

About the Hosting Organisation

The division of Computer Science & Engineering at JeonBuk National University leads and contributes to the development of our society by teaching and studying the cutting-edge field of study, and fosters experts who can analyze and design computer software and hardware system in the 21st century. It encourages students to apply the knowledge in computer engineering and information technology, to analyze the system by reflecting the realistic limitations to solve engineering problems, and to develop creative programs that can fulfill the demands of the society and its users. The aim is to make the graduates to contribute to the growth of Korean IT industry by specializing software development track and having the high-level, cutting-edge programming abilities.

Have a virtual look at the OMiLAB!

Get an overview what this OMiLAB has accomplised! Selected results are presented below as a contribution to the global community:

SAVE

Result: SAVE

PRISM

Result: PRISM

SREE

Result: SREE

All further results of the OMiLAB Node are available at the portal provided and maintained by the organizer.

The following, selected activities are organized by the OMiLAB.

NEMO Summerschool

The NEMO Summer School Series focuses on addressing these challenges through modelling, both in theory and practice. How to define modelling with the ‘right’ level of abstraction and how to engineer suitable modelling tools is at the heart of the summer school.

Prof. Lee has been a speaker at the NEMO Summer School Series since the second edition and joins the event every year in Vienna together with students from JeonBuk National University.

 https://nemo.omilab.org

ADOxx Training @OMiLAB Korea

OMiLAB@JeonBuk National University organizes periodically ADOxx Training Days (www.adoxx.org) for professionals and graduate students in the region. Especially the trainings have been based on the target-oriented service to motivate the group of professionals and their graduate students to develop their modeling tools. ADOxx is the meta-modelling development and configuration platform for implementing modelling methods. Implementation of full-fletched modelling methods can be realized using the platform, consisting not only of a modelling language, but also of modelling procedure and the corresponding functionality in the form of mechanisms and algorithms.

 http://omilab-korea.org/OKRC_edu

The following cyber-physical resources are available at the OMILAB node:

TBD

TBD Text