Search for dissertations about: "Oscar Ljungkrantz"
Found 3 swedish dissertations containing the words Oscar Ljungkrantz.
-
1. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development
Abstract : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. READ MORE
-
2. On Industrial Automation Software Components
Abstract : This thesis deals with Programmable Logic Controller (PLC) programs in the manufacturing industry, that is to say programs that coordinate robots and machines. The last years there has been increased competition and shorter life-cycles of many mass-produced products. READ MORE
-
3. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models
Abstract : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. READ MORE