<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>A Demo: Semantic-Based Re-Engineering of Automation Systems</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Aparna Saisree Thuluva</string-name>
          <email>aparna.thuluva@siemens.com</email>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Kirill Dorofeev</string-name>
          <email>dorofeev@fortiss.org</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Monika Wenger</string-name>
          <email>wenger@fortiss.org</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Darko Anicic</string-name>
          <email>darko.anicic@siemens.com</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Sebastian Rudolph</string-name>
          <email>sebastian.rudolph@tu-dresden.de</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Fortiss An-Institut Technische Universitat Munchen</institution>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Siemens AG - Corporate Technology</institution>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>TU Dresden</institution>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Manufacturing processes are being digitalized and automated using Automation Systems. But Automation Systems are complex and they contain lots of under-used equipment. The cost and time of manufacturing can be reduced if the under-used equipment on Automation Systems is used e ciently. Discovering the existing functionalities on an AS and installing new functionalities with low e ort plays an important role to e ciently use an Automation System equipment. In this demonstration, we will present an approach employing Web of Things and Semantic Web technologies, to make an Automation System equipment transparent, and present how the e ort of installing new functionalities on the eld devices can be lowered if the Automation System equipment is transparent.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Industry 4.0, which is also referred to as the fourth Industrial revolution aims at
lowering the time and cost of manufacturing individualized products [1].1 But
an Automation System (AS) used in a manufacturing process posses under-used
equipment, which when used e ciently can reduce the cost and time of
manufacturing products. This poses certain challenges as Automation Systems (ASs)
are complex, they contain lots of capabilities, con gurations and functionalities
running on them, which should be taken into consideration while installing new
functionalities on them. Therefore, it is a challenge to: (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) discover and access
functionalities on an AS, (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) create new functionalities for an AS, (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) check if
the new functionality is compatible with the target AS. In this demonstration,
we present how these challenges can be addressed by employing Semantic Web
(SW) technologies and Web of Things (WoT) technologies. WoT and SW
technologies are good candidates to model the information about an AS equipment
and make it discoverable and accessible. W3C WoT working group2 is
standardizing the Thing Description (TD), which provides an abstract description of a
1 http://ukmanufacturing2015.eng.cam.ac.uk/proceedings/Industry4.0AN10715.pdf
2 https://www.w3.org/WoT/WG/
physical thing in terms of its interactions. TD enables interoperability between
things belonging to di erent domains. TD of a device is stored on the device
itself to access physical devices on the Web in a similar fashion as accessing Web
pages using existing Web standards3 [3{5]. On the other hand, employing SW
technologies such as semantic enrichment of a TD and semantic based discovery
enhances transparency and interoperability of an AS equipment and provides
e cient discovery of an AS equipment. Employing these two techniques in this
demo, we show the following: (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) how an AS equipment can be made
transparent, (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) semantic modeling of a functionality, (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) how the e ort of installing a
new functionality on eld devices of an AS can be lowered using semantic
querying and reasoning techniques [2]. The demo will feature an engineering tool,
which enable users without background in SW technologies to do engineering,
con guration and re-engineering of ASs.
2
      </p>
    </sec>
    <sec id="sec-2">
      <title>Architecture</title>
      <p>We developed the architecture as shown in Figure 1a for semantic-based
engineering of ASs. The rst component is a semantic repository with RESTful
interface, which is used to store semantic descriptions of new functionalities. The
second component is semantic-based engineering tool that, provides a graphical
user interface to do engineering with our semantic-based approach. The tool also
provides an easy access to the repository and an AS to discover its equipment
and functionalities or to deploy new functionalities on an AS.</p>
      <p>The third component is the device architecture. The device here refers to
an edge device that is embedded into an AS, which controls the operation of
eld devices (sensors and actuators) of an AS. Each edge device is endowed
with a Micro-reasoner that empowers it to interpret TDs of the eld devices and
semantic models coming from the engineering tool, process the data from the
eld devices or to control them locally on the AS itself. Micro-reasoner as shown
in Figure 1b is o ered as a RESTful Web service. It consists of two components:
Micro Event Engine implemented in C and a the Datalog reasoner to do
reasoning in datalog [7], which is an open source C and LUA4 implementation.5
Micro Event Engine, which is based on the work from Anicic et al. [6] uses event
rules to do Complex Event Processing (CEP) of eld devices.
3 http://mqtt.org/documentation
4 https://www.lua.org/
5 http://www.ccs.neu.edu/home/ramsdell/tools/datalog/datalog.html</p>
    </sec>
    <sec id="sec-3">
      <title>Use Case</title>
      <p>In this section we describe a use case for re-engineering an AS on the FESTO6
Process Automation workstation. The workstation consists of two tanks, there
are various sensors and actuators attached to the tanks to monitor their state.
Among others, the workstation consists of an ultrasound sensor that measures
level of liquid in a tank, oat sensors, a pump and a pneumatic valve. We
attached a micro-controller to each sensor and actuator of the workstation where
the TD of the eld device is stored and accessed. In this demo, FESTO
workstation is equipped with three SIMATIC IOT20407, which are used as edge devices.</p>
      <p>In our use case, initially eld devices on the workstation are engineered to
ensure over ow protection on the upper tank, using the oat sensor on the upper
tank and the pneumatic valve, such that when the oat sensor detects over ow
of liquid in the tank then the pneumatic valve lets liquid from upper tank to the
lower tank. In this settings, if the oat sensor is malfunctioning then, over ow
protection cannot be ensured on the upper tank until the malfunctioning oat
sensor is replaced with a new sensor. In this demonstration, we will present how
the ultrasound sensor deployed on top of the upper tank can be re-engineered
with less e ort, to be used in place of the oat sensor to ensure over ow
protection on the upper tank.
4</p>
    </sec>
    <sec id="sec-4">
      <title>Demonstration Overview</title>
      <p>A TD is created for each edge device, which describes the properties, events and
actions of eld devices controlled by the edge device. Figure 2a shows a snippet
of a semantically enriched TD, which controls the ultrasound sensor. The TD
is then converted to datalog facts and stored in the Datalog reasoner on the
IOT2040 as shown in Figure 2b. In a similar fashion, new functionalities and
their requirements are described semantically and stored in the repository. An
example of a functionality used in this use case is: a eld device should detect
over ow status of a tank, if the level of liquid in a tank is over certain threshold.
The requirement to install such a functionality on a device is that the device
should be capable to measure level of liquid in a tank.</p>
      <p>
        Having semantic descriptions of devices and functionalities, then re-engineering
is done using engineering tool in the following steps: (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) the required
functionality is discovered by an engineer from the repository, (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) semantic-based
discovery and automated compatibility check is done to discover a suitable device
on the FESTO workstation on which the new functionality can be installed,
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) the functionality is deployed on the workstation from the engineering tool.
The Micro-reasoner on the edge device interprets the semantic description of the
6
http://www.festo-didactic.com/int-en/learning-systems/processautomation/compact-workstation/mps-pa-compact-workstation-with-level,
owrate,pressure-and-temperature-controlled-systems.htm
7 http://docs-europe.electrocomponents.com/webdocs/1536/0900766b815365c3.pdf
a. Ultrasonic Sensor Thing Description
{ "@context" :
["https://w3c.github.io/wot/w3c-td
      </p>
      <p>context.jsonld",
"http://SWAS/interactions/interactions</p>
      <p>context.jsonld"],
"qu":</p>
      <p>"http://purl.oclc.org/NET/ssnx/qu/qu#",
"ssn":http://purl.oclc.org/NET/ssnx/ssn#,
"schema": "http://schema.org/",
"eclass":
http://www.ebusiness</p>
      <p>unibw.org/ontologies/eclass/5.1.4/#,
"name": "MyUltrasonicSensor",
"@type": ["ssn:Sensor",</p>
      <p>"eclass:C_AKE655002-tax"],
"uris" :
["coap://192.168.2.82:5683/ultrasonicSe
nsor",
"http://192.168.2.82:8080/ultrasonicSen
sor"],
"encodings":["JSON"],
"ssn:onPlatform":"Tank1",
"ureasoner" : "true",
"properties":[ {
"@id" : "level",
"@type":
http://SWAS/interactions/liquidLevelProperty,
"name" : "liquidLevel",
"valueType" : {"type" : "float"},
"writable" : "false",
"qu:unit" : {"@type" : "qu:millimetre"},
"schema:minValue" : "0.2",
"schema:maxValue" : "800",
"hrefs" : ["liquidLevel"] } ]}
b. Ultrasonic Sensor Datalog facts
name("td","MyUltrasonicSensor").
ureasoner("td","true").
uris("td","coap://192.168.2.82:5683/ultrasonicSensor").
onPlatform("td","Tank1").
properties("td","propetery1")
name("propetry1","liquidLevel").
hrefs("propetry1","liquidLevel").
@type("property1",http://SWAS/interactions/liqui</p>
      <p>dLevelPropetry").
functionality and converts it into an event rule executable by Micro Event
Engine. Therefore the functionality of malfunctioning oat sensor is replaced with
ultrasound sensor using semantic-based approach.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>Siemens</surname>
          </string-name>
          :
          <article-title>Modeling new perspectives: digitalization - the key to increased productivity, e ciency and exibility (white paper)</article-title>
          .
          <source>In: DER SPIEGEL</source>
          (
          <year>2015</year>
          ). (https://www.siemens.com/digitalization/public/pdf/FoM-modeling-newperspectives.pdf)
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <surname>Thuluva</surname>
            ,
            <given-names>A.S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dorofeev</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wenger</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Anicic</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rudolph</surname>
            ,
            <given-names>S.:</given-names>
          </string-name>
          <article-title>SemanticBased Approach for Low-E ort Engineering of Automation Systems</article-title>
          .
          <source>In: Proceedings of ODBASE 2017 - The 16th International Conference on Ontologies, DataBases</source>
          , and Applications of Semantics. Rhodes, Greece. Forthcoming 2017
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <surname>Fette</surname>
            ,
            <given-names>I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Melnikov</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>The websocket protocol</article-title>
          ,
          <source>RFC</source>
          <volume>6455</volume>
          .
          <article-title>(</article-title>
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <surname>Belshe</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Peon</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Thomson</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Melnikov</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Hypertext transfer protocol version 2.0. internet draft (</article-title>
          <year>2013</year>
          ). (https://tools.ietf.org/html/draftietf-httpbis
          <source>-http2-04)</source>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <surname>Kovatsch</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Duquennoy</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dunkels</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>A low-power CoAP for contiki</article-title>
          .
          <source>Mobile Adhoc and Sensor Systems (MASS)</source>
          ,
          <year>2011</year>
          .
          <source>In: Proceedings of the 8th IEEE International Conference on Mobile Ad-hoc and Sensor Systems</source>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <surname>Anicic</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rudolph</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fodor</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Stojanovic</surname>
          </string-name>
          , N.:
          <article-title>Stream reasoning and complex event processing in etalis</article-title>
          .
          <source>Semantic Web</source>
          <volume>3</volume>
          (
          <issue>4</issue>
          )
          <fpage>397</fpage>
          -
          <lpage>407</lpage>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <surname>Ceri</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gottlob</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tanca</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          :
          <article-title>Logic programming</article-title>
          and databases. Springer Science &amp; Business
          <string-name>
            <surname>Media</surname>
          </string-name>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>