Sökning: "conformance checking"
Visar resultat 1 - 5 av 7 uppsatser innehållade orden conformance checking.
1. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : Many software and/or automotive companies use UML models to write the requirements and later they are implemented by coding. Involving multiple engineers from different teams makes the whole process complex and cumbersome. LÄS MER
2. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models
Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskapSammanfattning : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. LÄS MER
3. Detection of performance anomalies through Process Mining
Master-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)Sammanfattning : Anomaly detection in computer systems operating within complex environments,such as cyber-physical systems (CPS), has become increasingly popularduring these last years due to useful insights this process can provide aboutcomputer systems’ health conditions against known reference nominal states.As performance anomalies lead degraded service delivery, and, eventually,system-wide failures, promptly detecting such anomalies may trigger timelyrecovery responses. LÄS MER
4. Run-time Anomaly Detection with Process Mining: Methodology and Railway System Compliance Case-Study
Magister-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)Sammanfattning : Detecting anomalies in computer-based systems, including Cyber-Physical Systems (CPS), has attracted a large interest recently. Behavioral anomalies represent deviations from what is regarded as the nominal expected behavior of the system. Both Process science and Data science can yield satisfactory results in detecting behavioral anomalies. LÄS MER
5. A Front-end to LBTest for Conformance Testing of Embedded Systems
Uppsats för yrkesexamina på grundnivå, KTH/Skolan för informations- och kommunikationsteknik (ICT)Sammanfattning : This report presents the work creating and evaluating a front-end for conformance testing with the LBTest software and the viability of a tool of this kind. LBTest is a tool designed for learning-based testing of embedded systems using model checking. LÄS MER