Search for dissertations about: "formal specification"

Showing result 16 - 20 of 100 swedish dissertations containing the words formal specification.

  2. 16. On Industrial Automation Software Components

    Author : Oscar Ljungkrantz; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; IEC 61131; Programmable Logic Controller PLC ; IEC 61499; formal verification; Manufacturing automation software; software reusability; Reusable Automation Component RAC ; software specification;

    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

  4. 17. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models

    Author : Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz; Guillermo Rodriguez-Navas; Riccardo Scandariato; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; requirements specification; embedded systems; ontology; formal methods; simulink; sat; domain specific language; requirements boilerplates; Computer Science; datavetenskap;

    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

  5. 18. Mapping and integration of schema representations of component specefications

    Author : Guy Davies; Love Ekenberg; Hamid Fujita; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; specification; first order logic; verification; service integration; conceptual modeling; conflict; shema dynamics; Datavetenskap; Computer science; Datavetenskap;

    Abstract : Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verifying specifications in finite spaces. READ MORE

  6. 19. Formal Methods for Testing Grammars

    Author : Inari Listenmaa; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Grammar engineering has a lot in common with software engineering. Analogous to a program specification, we use descriptive grammar books; in place of unit tests, we have gold standard corpora and test cases for manual inspection. READ MORE

  7. 20. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

    Author : Jonas Westman; Mattias Nyberg; Mats Heimdahl; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Contracts; Heterogeneous Systems; Safety; Architecture; Requirements; Specification; Elements; Compositional; IEC 61508; ISO 26262; Kontrakt; Heterogena System; Säkerhet; Arkitektur; Kravhantering; Specifiering; Element; Kompositionell; IEC 61508; ISO 26262; Machine Design; Maskinkonstruktion;

    Abstract : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. READ MORE