With the availability of more and more cores within architectures the process of extracting implicit and explicit parallelism in applications to fully utilise these cores is becoming complex. Implicit parallelism extraction is performed through the inclusion of intelligent software and hardware sections of tool chains although these reach their theoretical limit rather quickly. Due to this the concept of a method of allowing explicit parallelism to be performed as fast a possible has been investigated. This method enables application developers to perform creation and synchronisation of parallel sections of an application at a finer-grained level than previously possible, resulting in smaller sections of code being executed in parallel while still reducing overall execution time. Alongside explicit parallelism, a concept of high level design of applications destined for multicore systems was also investigated. As systems are getting larger it is becoming more difficult to design and track the full life-cycle of development. One method used to ease this process is to use a graphical design process to visualise the high level designs of such systems. One drawback in graphical design is the explicit nature in which systems are required to be generated, this was investigated, and using concepts already in use in text based programming languages, the generation of platform-independent models which are able to be specialised to multiple hardware architectures was developed. The explicit parallelism was performed using hardware elements to perform thread management, this resulted in speed ups of over 13 times when compared to threading libraries executed in software on commercially available processors. This allowed applications with large data dependent sections to be parallelised in small sections within the code resulting in a decrease of overall execution time. The modelling concepts resulted in the saving of between 40-50% of the time and effort required to generate platform-specific models while only incurring an overhead of up to 15% the execution cycles of these models designed for specific architectures.

Τα σύγχρονα συστήματα παραγωγής πρέπει να λειτουργούν αποδοτικά σε ένα δυναμικά μεταβαλλόμενο περιβάλλον. Ένα βασικό χαρακτηριστικό που πρέπει να λάβουν υπόψη τους οι μηχανικοί στη βιομηχανία είναι η ευελιξία των συστημάτων παραγωγής. Η ευελιξία αναφέρεται στην ικανότητα ενός συστήματος παραγωγής να ανταποκρίνεται και να προσαρμόζεται στις αλλαγές του περιβάλλοντος στο οποίο λειτουργεί. Αλλά η ευελιξία είναι δύσκολο να συμπεριληφθεί στη διαδικασία λήψης αποφάσεων κατά τον σχεδιασμό ή τη λειτουργία ενός συστήματος, αν δεν έχει περιγραφεί ποσοτικά. Ο σκοπός αυτής της διατριβής είναι να αναπτύξει και να επιδείξει μια μέθοδο για την εκτίμηση και ποσοτικοποίηση της ευελιξίας. Η μέθοδος μπορεί να χρησιμοποιηθεί σε πραγματικά προβλήματα στη βιομηχανία και να βοηθήση στη λήψη αποφάσεων σχετικά με τον απαραίτητο βαθμό της ευελιξίας που πρέπει να έχει ένα σύστημα παραγωγής ειδικά στην περίπτωση που υπάρχει αβεβαιότητα και είναι δύσκολο να γίνουν αξιόπιστες προβλέψεις σχετικά με τις απαιτήσεις της αγοράς. Στην διεθνή επιστημονική βιβλιογραφία έχουν καταγραφεί αρκετές εργασίες που προσεγγίζουν το πρόβλημα της εκτίμησης της ευελιξίας ενός συστήματος παραγωγής. Οι περισσότερες όμως από τις εργασίες αντιμετωπίζουν μεμονωμένα προβλήματα, κάτω από ειδικές συνθήκες, που τις περισσότερες φορές αναφέρονται και σε συγκεκριμένους τύπους συστημάτων παραγωγής. Η προτεινόμενη μέθοδος στηρίζεται στη θεώρηση ότι η ευελιξία ενός συστήματος παραγωγής καθορίζεται από την ευαισθησία του στις αλλαγές. Όσο λιγότερο ευαίσθητο ένα σύστημα είναι στις αλλαγές του περιβάλλοντος στο οποίο λειτουργεί τόσο περισσότερο ευέλικτο είναι. Η βασική αυτή θεώρηση εφαρμόζεται μέσω της μέτρησης του εύρους των διαφόρων τιμών του συνολικού κόστους ενός συστήματος παραγωγής. Οι τιμές του συνολικού κόστους υπολογίζεται για καθένα σενάριο από ένα μεγάλο αριθμό πιθανών σεναρίων αγοράς. Στη συνέχεια με στατιστική ανάλυση στις τιμές του συνολικού κόστους οδηγούμαστε σε συμπεράσματα για την ευαισθησία ενός συστήματος παραγωγής σε ένα αβέβαιο περιβάλλον λειτουργίας. Ο υπολογισμός του συνολικού κόστους λαμβάνει υπόψη του διάφορες φάσεις του συστήματος παραγωγής στον κύκλο ζωής του όπως την αρχική επένδυση και το κόστος των αλλαγών. Επιπλέον, για να μπορούν οι διαφορετικές τιμές του κόστους να είναι συγκρίσιμες θα πρέπει να υπολογιστούν με βάση κάποιον κανόνα. Η εργασία αυτή προτείνει έναν τρόπο για την εύρεση του ελάχιστου κόστους στον κύκλο ζωής ενός συστήματος παραγωγής. Η προτεινόμενη μέθοδος εφαρμόζεται σε μια περίπτωση μελέτης στην αυτοκινητοβιομηχανία και τέλος περιγράφεται ένα λογισμικό που υλοποιεί την προτεινόμενη μέθοδο καθώς και η UML (Unified Modelling Language) περιγραφή των βασικών οντοτήτων. / Modern manufacturing firms must learn to operate effectively in very dynamic environments. One key aspect that firms must consider is manufacturing flexibility. Manufacturing flexibility refers to the ability of a manufacturing system to accommodate uncertainty in the production environment. But flexibility cannot be considered in the decision making process if it is not assessed in quantifiable terms. The goal of this dissertation is to develop and demonstrate a practical method to assist manufacturers in managing environmental uncertainty and in determining the appropriate level of flexibility in their production systems. A number of research efforts have been published in the litterature that deal with the scientific issue of flexibility assessment. However, most of the published research work deals with case specific engineering problems, under certain circumstances, and in most of the cases they are applicable to specific types of production system. The approach suggested by the this dissertation considers that manufacturing flexibility is determined by its sensitivity to changes. The less flexible a manufacturing system is the more flexible it should be considered. We consider flexibility during the lifecycle of a system, from initial investment to major reconfiguration. A large number of market scenarios are being considered and the lifecycle cost of the system for all scenarios is calculated. Following, statistical analysis on the lifecycle cost results provides results on the sensitivity of the system to the uncertainty of the market environment. Furthermore, in order to make the lifecycle cost values comparable amongst the different production systems, their minimum value is calculated at a minimum level with the help of a specially developed optimization algorithm. The proposed method is applied in a case study in the automotive industry. Finally, a web-based software package that implements the proposed method along with the UML (Unified Modelling Language) description of the main entities is also being described.

Context-aware computing envisions a new generation of smart applications that have the ability to perpetually sense the user’s context and use these data to make adaptation decision in response to changes in the user’s context so as to provide timely and personalized services anytime and anywhere. Unlike the traditional distribution systems where the network topology is fixed and wired, context-aware computing systems are mostly based on wireless communication due to the mobility of the network nodes; hence the network topology is not fixed but changes dynamically in an unpredictable manner as nodes join and the leave network, in addition to the fact that wireless communication is unstable. These factors make the design and development of context-aware computing systems much more challenging, as the system requirements change depending on the context of use. The Unified Modelling Language (UML) is a graphical language commonly used to specify, visualize, construct, and document the artefacts of software-intensive systems. However, UML is an all-purpose modelling language and does not have notations to distinguish context-awareness requirements from other system requirements. This is critical for the specification, visualization, construction and documentation of context-aware computing systems because context-awareness requirements are highly important in these systems. This thesis proposes an extension of UML diagrams to cater for the specification, visualization, construction and documentation of context-aware computing systems where new notations are introduced to model context-awareness requirements distinctively from other system requirements. The contributions of this work can be summarized as follows: (i) A context-aware use case diagram is a new notion which merges into a single diagram the traditional use case diagram (that describes the functions of an application) and the use context diagram, which specifies the context information upon which the behaviours of these functions depend. (ii) A Novel notion known as a context-aware activity diagram is presented, which extends the traditional UML activity diagrams to enable the representation of context objects, context constraints and adaptation activities. Context constraints express conditions upon context object attributes that trigger adaptation activities; adaptation activities are activities that must be performed in response to specific changes in the system’s context. (iii) A novel notion known as the context-aware class diagram is presented, which extends the traditional UML class diagrams to enable the representation of context information that affect the behaviours of a class. A new relationship, called utilisation, between a UML class and a context class is used to model context objects; meaning that the behaviours of the UML class depend upon the context information represented by the context class. Hence a context-aware class diagram is a rich and expressive language that distinctively depicts both the structure of classes and that of the contexts upon which they depend. The pragmatics of the proposed approach are demonstrated using two real-world case studies.

Model-driven software development can help tackle complexity when developing large software systems. Model-driven development tools facilitate this. Such tools support multiple features and languages; some are multi-platform and support multi-language code generation from models. Umple is a full-featured open source language and modelling tool that we used as a basis for this thesis. Distribution concerns have become a critical part of modern software systems. In this thesis, we present how we extended Umple to support the development of model-driven synchronous or asynchronous distributed systems. Our contributions provide simple syntax, model analysis capabilities, and programming APIs, which allow users to change the configuration of systems both at development and deployment stages. We also demonstrate how a system can be modeled without distribution concerns and easily be transformed to a distributed system through our approach. The contributions of this thesis are: a) Creating a mechanism to distribute objects in Umple; b) Developing new semantics for modelling of distributed objects and providing supporting syntax for this in Umple; c) Investigating different patterns and technologies to implement code generation for distributed systems; d) Implementation, testing, and comparison of the distributed feature in Umple for executable Java code; and e) implementing a mechanism to dynamically modify the distribution plan at runtime.

This thesis describes extensions to state machines in the Umple model-oriented programming language to offer queued state machines (QSM), pooled state machines (PSM) and handing of the arrival of unexpected events. These features allow for modeling the behavior of a system or protocol in a more accurate way in Umple because they enable detecting and fixing common design errors such as unspecified receptions. In addition, they simplify the communication between communicating state machines by allowing for asynchronous calls of events and passing of messages between state machines. Also, a pooled state machine (PSM) has been developed to provide a different policy of handling events that avoid unspecified receptions. This mechanism has similar semantics as a queued state machine, but it differs in the way of detecting unspecified receptions because it helps handling these errors. Another mechanism has been designed to use the keyword ‘unspecified’ in whatever state of a state machine the user wants to detect these errors. In this thesis, the test-driven development (TDD) process has been followed to first modify the Umple syntax to add ‘queued,’ ‘pooled,’ and ‘unspecified’ keywords to Umple state machine’s grammar; and second, to make a change to the Umple semantics in order to implement these extensions in Umple. Then, additional modifications have been made to allow for Java code generation from those types of state machines. Finally, more test cases have been written to ensure that these models are syntactically and semantically correct. In order to show the usefulness and usability of these new features, an example is shown as a case study that is modeled using the queued state machine (QSM) besides other small tests cases.