Cyber threat modeling is an analytical process that is used for identifying the potential threats against a system and supporting the selection of security requirements in the early stages of the system development life cycle. Thus, threat modeling is a vital instrument for the realization of the secure-by-design principle. Despite being a well-known practice in software development projects, its adaptation to cyber-physical systems still requires systematic elaboration. The complex interactions between cyber and physical spaces and their reflection on the cyber threat landscape constitute a significant challenge for the system development teams. This study proposes a detailed methodology to apply STRIDE to cyber-physical systems and demonstrates its applicability in a case study of a microgrid system. Our methodology provides a systematic threat elicitation procedure based on an attack taxonomy that was created for this research. This paper also shows how assets could be identified, data flow diagrams formed, trust boundaries determined, and threats prioritized, in the case of a cyber-physical system.

This paper presents an approach of scheduling software development for orders-oriented and lean mass customization based manufacturing. To describe the various concepts of the manufacturing scheduling domain and their relationships an ontology for the scheduling domain is proposed. The scheduling software development and top-level architecture of the software are driven by this ontology.The software is targeted at small and medium sized enterprises to solve their resource-constrained scheduling problems and fit well to their manufacturing process, allowing easy definition of new products and their production management. The software includes the customized scheduling algorithm for optimization of assigning of resources to operations and visual representation of workflow of manufacturing processes. The scheduling system for manufacturing is implemented in the CoCoViLa system.

Customization is a very important feature of any manufacturing scheduling system. In many cases large commercial manufacturing scheduling systems are not easily and efficiently customizable to meet requirements of small and medium size enterprises. Therefore, this paper proposes an ontology-based architectural solution for the customization of manufacturing scheduling systems. According to the approach, the input to the scheduling system is a customized manufacturing scheduling ontology that is an extension of the manufacturing scheduling ontology provided in this paper. The customized manufacturing scheduling ontology performs as a knowledge base and data access point for the manufacturing scheduling system and enables it to be easily adapted to different products and their manufacturing processes.

This paper addresses a high level semantic integration of software artefacts for the development of Domain Specific Languages (DSL). The solution presented in the paper utilizes a concept of DSL meta-model ontology that is defined in the paper as consisting of a system ontology linked to one or more domain ontologies. It enables dynamic semantic integration of software artefacts for the composition of a DSL meta-model. The approach is prototypically implemented in Java as an extension to the DSL development tool CoCoViLa.

In this paper we propose a technology for model-based software development. The technology separates domain engineering and application engineering and automates the actual executable code generation. This approach has been used extensively for simulations and we believe it is also applicable for more general software development.

We describe an experimental mass customization based manufacturing system which relies on a sophisticated IT infrastructure and CAE to produce novel wooden design products in a lean and flexible way. The main focus of this paper is on the IT infrastructure where several AI techniques for machine vision, search and planning are applied. The IT system has a service oriented architecture and is composed of heterogeneous distributed components communicating via custom web services. A key component of this system is an smart optimizer which helps to improve warehouse logistics, material utilization and speeds up manual creative work.

A flexible Java-based simulation platform that includes both continuous-time and discrete event simulation engines and is intended for applications in a variety of domains is presented. The platform supports visual and model-based software development and uses structural synthesis of programs for translating declarative specifications of simulation problems into executable code. Rich components are an important concept of the work. They are implemented as Java classes with additional specifications for program synthesis, and include visual representations as well as daemons supporting continuous interaction with the user during the simulation. The platform is developed as an open-source software, and its extensions can be written in Java and included into simulation packages.

The current paper presents an extension to the logical language used in Structural Synthesis of Programs (SSP) and describes a modified synthesis algorithm to handle branching in program synthesis. The origin of the extension is from practical experience and introduces statements with preconditions to the logical language of SSP. Using these preconditions one can describe variable domain restrictions in its domain oriented models and gain higher flexibility while doing engineering modeling.

This paper describes an architecture of a distributed synthesizer for automated program construction. The objective of the synthesizer is to realize the ideas of Structural Synthesis of Programs in a computer network. The synthesizer handles structural specifications stored into Java classes as meta-interfaces and works on a network using CORBA technology.

In this paper we introduce a methodology of program synthesis for Java programming language by extending Java classes with high level specifications. The specifications are handled by a distributed synthesizer also briefly described in this paper.

This paper covers ontology-based programming, using the NUT language as a notation for the semantics of domain knowledge. A specification method and problem-solving techniques are demonstrated on an example of modeling and management of a radar surveillance system in order to find the optimal disposition and configuration of equipment. The structural synthesis of programs - a technique that is essential for domain knowledge handling, is briefly discussed.

This paper describes how the cash-point service can be modelled and simulated using the NUT system.