Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

New target tracking and monitoring guidance laws for UAV

A pursuer UAV tracking and loitering around a target is the problem analyzed in this thesis. The UAV is assumed to be a fixed-wing vehicle and constant airspeed together with bounded lateral accelerations are the main constraints of the problem. Three different guidance laws are designed for ensuring a continuos overfly on the target. Different proofs are presented to demonstrate the stability properties of the laws. All the algorithms are tested on a 6DoF Pioneer software simulator. Classic control design methods have been adopted to develop autopilots for implementig the simulation platform used for testing the guidance laws.

Sanctions and public enforcement of insider trading laws in Europe

The recent financial crisis triggered an increasing demand for financial regulation to counteract the potential negative economic effects of the evermore complex operations and instruments available on financial markets. As a result, insider trading regulation counts amongst the relatively recent but particularly active regulation battles in Europe and overseas. Claims for more transparency and equitable securities markets proliferate, ranging from concerns about investor protection to global market stability. The internationalization of the world’s securities market has challenged traditional notions of regulation and enforcement. Considering that insider trading is currently forbidden all over Europe, this study follows a law and economics approach in identifying how this prohibition should be enforced. More precisely, the study investigates first whether criminal law is necessary under all circumstances to enforce insider trading; second, if it should be introduced at EU level. This study provides evidence of law and economics theoretical logic underlying the legal mechanisms that guide sanctioning and public enforcement of the insider trading prohibition by identifying optimal forms, natures and types of sanctions that effectively induce insider trading deterrence. The analysis further aims to reveal the economic rationality that drives the potential need for harmonization of criminal enforcement of insider trading laws within the European environment by proceeding to a comparative analysis of the current legislations of height selected Member States. This work also assesses the European Union’s most recent initiative through a critical analysis of the proposal for a Directive on criminal sanctions for Market Abuse. Based on the conclusions drawn from its close analysis, the study takes on the challenge of analyzing whether or not the actual European public enforcement of the laws prohibiting insider trading is coherent with the theoretical law and economics recommendations, and how these enforcement practices could be improved.