Search for dissertations about: "Sandeep Patil"

Found 3 swedish dissertations containing the words Sandeep Patil.

  2. 1. Enhanced engineering of component-based industrial automation systems using formal methods

    Author : Sandeep Patil; Valeriy Vyatkin; Georg Frey; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Abstract : Industrial automation is facing challenges related to a manufacturing change from mass pro-duction to mass customization. As a result, the focus of automation has been shifting to flexi-bility, reconfigurability and safety assurance resulting in a new class of systems that is heavilymodular. READ MORE

  4. 2. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations

    Author : Dmitrii Drozdov; Valeriy Vyatkin; Sandeep Patil; Andrei Lobov; Luleå tekniska universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Abstract state machines; CPS; formal semantics; formal verification; IEC 61499; time-aware computations; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Abstract : Wired and wireless networking is becoming a necessary part of industrial control systems’ design and is one of the reasons that required a new cyber-physical approach to modelling. The phenomenon observed in cyber-physical systems (CPS) is a variety of cross-dependencies and influences between physical processes, computational devices and communications, which needs to be taken into account at the design and verification stage. READ MORE

  5. 3. Approach Towards Engineering Microservice-Oriented Composable Ecosystems for Smart Industries

    Author : Salman Javed; Jan van Deventer; Jerker Delsing; Sandeep Patil; Cristina Paniagua; Daniel Vera; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cyberfysiska system; Cyber-Physical Systems;

    Abstract : The emergence of smart and integrated industrial ecosystems is replacing traditional manufacturing, where operations are more digitalized and automated. For communication and cooperation, these operations require seamless integration of the devices to ensure interoperability in a secure, reliable, and adaptable environment. READ MORE