Le nuove centralità del lavoro nel progetto urbano: appunti per una ricerca

Esempi internazionali ci mostrano intere città occupate a rivoluzionare i propri tessuti urbani innestandovi nuove strutture per la ricerca, l’innovazione e il trasferimento tecnologico a sostegno di settori economici più competitivi rispetto al nuovo quadro industriale globale. Le fabbriche, lungi dall’essere scomparse, hanno generalmente incrementato ovunque la propria produttività: le istanze di sostenibilità, la crescente quota di terziarizzazione e di complessità tecnologica dei processi produttivi ha tuttavia contribuito a modificare in parte il volto delle manifatture rispetto all’immagine ereditata dal secondo novecento. Forse sono maturi i tempi perché queste medie e grandi strutture per la ricerca e la produzione, così come le ormai sempre più diffuse tipologie per l’incubazione di start-up e per il co-working si svincolino dalla ristretta logica settoriale e dello zoning per essere invece considerati elementi fondanti della complessità e qualità dei luoghi urbani. Il ritorno e la valorizzazione dei luoghi della produzione in città, secondo ovviamente nuove configurazioni e prospettive rispetto al passato, potrebbe contribuire a incrementare il livello di urbanità dei quartieri della periferia storica, agendo ora come elementi di rigenerazione concentrata, ora come gangli diffusi

Evolving homogeneous neuro-controllers for a group of heterogeneous robots: coordinated motion, cooperation, and acoustic communication

SCOPUS: ar.jinfo:eu-repo/semantics/publishe

Numerical Electromagnetic Modeling of Chemical Plants for the Assessment of Radio Frequency Ignition Hazards

Abstract In this work, electromagnetic simulation of electrically-large chemical plants is used to investigate RF ignition hazards. The proposed analysis is aimed at refining results and procedures detailed in the European Standard CLC/TR 50427, which foresees the use of elemental antennas (loops and half-wave dipoles) for the estimation, via closed-form approximated formulas, of the RF power induced by an impinging electromagnetic field

Drop the phone and talk to the physical world: Programming the internet of things with Erlang

Abstract-We present ELIOT, an Erlang-based development framework expressly conceived for heterogeneous and massively decentralized sensing/actuation systems: a vision commonly regarded as the "Internet of Things". We choose Erlang due to the functional high-level programming model and the native support for concurrency and distributed programming. Both are assets when developing applications as well as systemlevel functionality in our target domain. Our design enriches the Erlang framework with a custom library for programming sensing/actuation distributed systems along with a dedicated run-time support, while we wipe off unnecessary language and run-time features. We couple the resulting platform with adhoc tools for simulation and testing, supporting developers throughout the development cycle. We assess our solution by implementing three sensor network distributed protocols. A comparison with traditional sensor network programming platforms demonstrates the advantages in terms of terseness of code, readability, and maintainability

Security Aspects in Networks-on-Chips: Overview and Proposals for Secure Implementations

Abstract Security has gained increasing relevance in the develo

Expressing Sensor Network Interaction Patterns using Data-driven Macroprogramming

Wireless Sensor Networks (WSNs) are increasingly be- ing employed as a key building block of pervasive com- puting infrastructures, owing to their ability to be embed- ded within the real world. So far, pervasive applications for WSNs have been developed in an ad-hoc manner using node-centric programming models, focusing on the behav- ior of single nodes. Instead, macro-programming models provide much higher levels of abstractions, allowing developers to reason on the sensor network as a whole. In this paper, we demonstrate how a wide range of interaction patterns commonly found in pervasive, embedded applications can be expressed using ATaG, a data-driven macro-programming language. To support this, we show- case real-world applications developed in ATaG, and con- sider both homogeneous, sense-only scenarios, and hetero- geneous settings involving actuation on the environment un- der control

The engineering roles of requirements and specification

The distinction between requirements and specification is often confused in practice. This obstructs the system validation process, because it is unclear what exactly should be validated, and against what it should be validated. The reference model of Gunter et al. addresses this difficulty by providing a framework within which requirements can be distinguished from specification. It separates world phenomena from machine phenomena. However, it does not explain how the characterization can be used to help assure system validity. In this paper, we enhance the reference model to account for certain key elements that are necessary to expose and clarify the distinction and the link between requirements and specification. We use the enhanced version to present a more refined picture of validity, where validation has two steps that can be undertaken separately. We use this picture to question whether the “what the system will do, not how it will do it ” paradigm is useful in describing how to construct a specification, and propose an alternative. Finally, we present the requirements and specification for an illustrative example based on a runway incursion prevention system, with the ArchiTRIO formal language in a UML-like environment, to show how this might be done in practice.

1 A Survey on Service Quality Description

Quality of service (QoS) can be a critical element for achieving the business goals of a service provider, for the acceptance of a service by the user, or for guaranteeing service characteristics in a composition of services, where a service is defined as either a software or a software-support (i.e., infrastructural) service which is available on any type of network or electronic channel. The goal of this article is to compare the approaches to QoS description in the literature, where several models and metamodels are included. consider a large spectrum of models and metamodels to describe service quality, ranging from ontological approaches to define quality measures, metrics, and dimensions, to metamodels enabling the specification of quality-based service requirements and capabilities as well as of SLAs (Service-Level Agreements) and SLA templates for service provisioning. Our survey is performed by inspecting the characteristics of the available approaches to reveal which are the consolidated ones and which are the ones specific to given aspects and to analyze where the need for further research and investigation lies. The approaches here illustrated have been selected based on a systematic review of conference proceedings and journals spanning various research areas in compute

Systemc-vhdl cosimulation and synthesis in the hw domain

Abstrac