Finding a Midpoint between Civil and Military Use. The Case of Villaputzu (Sardinia, Italy)

The paper addresses the issue of the concurrent use of areas for military and civil activities. In particular, the paper analyzes the effect of planning tools on the valorization of a territorial enclave, namely a military training area located in the coastal area of the municipality of Villaputzu (South Sardinia, Italy), that is, moreover, a Site of Community Importance. In this area, thanks to an institutional agreements between the Municipal Administration of Villaputzu and the Ministry of Defense, has been possible define the coexisting ways where is an important coastal military easement. and the use of the coast for recreational tourism purposes through a specific planning tool. In this specific case, the Local Coastline Plan (LCP) has been identified as the planning tool, which better addresses the co-existence of apparently opposite land uses and interests, as those expressed by the local municipality and those expressed by the military hierarchy. The assessment method is based on the capacity of the Local Coastline Plan (LCP) and the Site of CommunityInterest Management Plan (SCIMP) to create ecosystem services in the military enclave. The evaluation of the LCP and SCIMP shows how their combined action favors the environmental enhancement of territory, contributing to the formation of ecosystem services, The area, initially subject to different constraint (military easements and SIC rules) evolve, by that way, from ‘anticommons’ to ‘semicommons’, guaranteeing sustainable renewal of economic development of the area and looking to become ‘commons’ through planning of ecosystem services

IT-Sicherheit im Wettstreit um die erste autonome Fahrzeugflotte: Ein Diffusionsmodell

In der Fahrzeugindustrie halten aktuell eine Reihe von Neuerungen Ein‑ zug. So sorgen neben dem Umstieg auf E‑Mobilität hochtechnologische Assistenzsysteme in Fahrzeugen für einschneidende Veränderungen. Eine weitere mit diesen neuen Systemen einhergehende Neuerung ist, dass Autos nun wie Smartphones mit regelmäßigen Updates versorgt werden. Der Hersteller Tesla behauptet sogar, seine Autos in Zukunft per Softwareupdate zum vollautonomen Fahrzeug upgraden zu können. Diese Entwicklung kann zu einer nicht nachhaltigen und risikoreichen Entwicklung der IT‑Security und der Umweltbilanz des Fahrzeugsektors führen. IT security and competition in the automotive industry A diffusion model Today’s automotive industry is changing rapidly. The slow movement toward electric mobility and highly technical assistant systems chal- lenge old hierarchies. Another innovation associated with the latter is that cars now receive regular software updates, just like smartphones. Tesla even claims to be able to upgrade their cars to fully autonomous driving in the future. This could lead to an unsustainable and risky development of IT security and the environmental performance of the vehicle sector

Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätze auf Basis höherer Petri-Netze

Short Summary The design of complex distributed embedded computer systems is often a big challenge because they are large and contain many parallel working components under real time conditions. The dynamic diagrams like Sequence Diagrams, State Charts and Activity Diagrams are often not sufficient to model the high complexity of these computer systems. There is no transformation possibility from one description type into another. There are no or only limited possibilities for formal analysis of system properties. Coloured dynamic Sequence Diagrams, State Charts and Activity Diagrams will be developed in this work to integrate the well-known object oriented modelling techniques into the design process of complex distributed real time systems. Coloured diagrams derive from folding several simple diagrams which are executed autonomously or influence each other in some parts. The coloured diagram types have sufficient means for the clear and unique description of the composition of several simple diagrams and some additional mechanisms for description of the dependencies and connections between the separate objects. A transformation of these diagrams into one another which allows a parallel use of similar description means will be developed. The colours which essentially model the different similar components will be kept up the transformation of these diagram types into Coloured Petri Nets as a temporary notation and will be kept up the transformation in other diagram types. They are responsible for the clear assignment and the identification of the several components of a model during the whole design process. The transformation via Coloured Petri Nets is effective because they also use the colour concept and they integrate the basic concepts of the initial diagrams. The verification method for Coloured Time Interval Petri Nets designed in this work allows assertions about the fulfilment of time restrictions and about reachability of markings, liveness, about absence of conflicts, boundedness and dynamic conflicts. The usability of these extensions will be demonstrated with a real modelling example.Der Entwurf von komplexen verteilten eingebetteten Rechnersystemen ist aufgrund der Größe und Vielzahl von parallel unter Echtzeitbedingungen arbeitenden Komponenten häufig eine große Herausforderung. Die dynamischen Diagramme, wie Message Sequence Charts (Sequenzdiagramme), State Charts (Zustandsdiagramme) und Activity Diagrams (Aktivitätsdiagramme) können häufig nicht die hohe Komplexität der zu modellierenden verteilten eingebetteten Rechnersysteme bewältigen und dabei die Übersichtlichkeit der Entwurfsmodelle gewährleisten. Es existiert auch keine Überführungsmöglichkeit von einem Beschreibungstyp in einen anderen. Die Möglichkeiten zur formalen Analyse der Systemeigenschaften nicht oder nur eingeschränkt gegeben. Für die Einbindung der bekannten objektorientierten Modellierungstechniken in den Entwurfsprozess von komplexen verteilten Echtzeitsystemen sind die in dieser Arbeit entwickelten gefärbten dynamischen Sequenzdiagramme, Zustandsdiagramme und Aktivitätsdiagramme für die Modellierung von komplexen verteilten Echtzeitsystemen effektiv einsetzbar. Gefärbte Diagramme entstehen durch Faltung von mehreren einfachen Diagrammen, die voneinander unabhängig ausgeführt werden, oder sich in einigen Teilen beeinflussen. Die gefärbten Diagrammtypen verfügen über ausreichende Mittel für die übersichtliche und eindeutige Darstellung der Komposition von mehreren einfachen Diagrammen und einige zusätzliche Mechanismen für die Abbildung der Abhängigkeiten und Beziehungen zwischen den einzelnen Objekten. Die Transformation dieser Diagrammtypen ineinander erlaubt es, ähnliche Beschreibungsmittel parallel nutzbar zu machen. Die Farben, die im wesentlichen verschiedene ähnliche Teilkomponenten modellieren, werden bei der Umwandlung in Gefärbte Petri-Netze, die bei der Transformation dieser Diagrammtypen ineinander als Zwischennotation genutzt werden, und weiterhin bei der Transformation in andere Diagrammtypen beibehalten und dienen der übersichtlichen Zuordnung und Identifizierung der einzelnen Komponenten eines Modells während des gesamten Entwurfsprozesses. Die Transformation über Gefärbte Petri-Netze ist effektiv, da diese auch das Farbkonzept unterstützen und die Grundkonzepte der Ausgangsdiagramme als Teilmenge implizit besitzen. Die entwickelte Verifikationsmethode für Gefärbte Zeitintervall-Petri-Netze ermöglicht sowohl Aussagen über die Erfüllung von zeitlichen Restriktionen als auch über die Erreichbarkeit von Markierungen, Lebendigkeit, Konfliktfreiheit, Beschränktheit und dynamische Konflikte. Die Anwendbarkeit dieser Erweiterungen lässt sich an einem realen Modellierungsbeispiel nachweisen