Progress and Integration. The Xxxxx Daemon Wrapper has been developed during the second year of the project. Based on the wrapper, we have integrated the Xxxxx-based tool MISSCEL, presented in Section 2.4, and we plan to similarly integrate another Xxxxx-based tool named MESSI, presented in Section 2.3. The Xxxxx Daemon Wrapper facilitates the interaction of Xxxxx with other tools reg- istered with the SDE by exposing those features via the function executeMaudeCommand (command,commandType,resultType), which takes care of the initialization tasks, executes the Xxxxx command command, and returns the part of the Xxxxx output as specified by resultType. A detailed description of Xxxxx and its commands is available in the Xxxxx manual at http: //xxxxx.xx.xxxx.xxx/xxxxx0-xxxxxx.
Progress and Integration. The Xxxxx Xxxxxx Xxxxxxx has been developed during the second year of the project. The Xxxxx Daemon Wrapper facilitates the interaction of Xxxxx with other tools reg- istered to the SDE by exposing those features via the function executeMaudeCommand (command,commandType,resultType), which takes care of initialization tasks, executes the Xxxxx command command, and returns part of the Xxxxx output as specified by resultType. A detailed description of Xxxxx and its commands is available in the Xxxxx manual at http: //xxxxx.xx.xxxx.xxx/xxxxx0-xxxxxx.
Progress and Integration. In the third year of the project, we have completed the porting of XXX, an earlier version of the tool in OCaML, and we have also defined the general structure of the plug-in that can be used to integrate new calculi/languages. In the next year, we plan to integrate a stochastic extension of SCEL. Moreover, we plan to complete the integration of the jSAM into SDE.
Progress and Integration. MESSI has been developed during the third year of the project. It is currently not integrated in the SDE, but the eventual integration with the help of the Xxxxx Daemon Wrapper from Section 2.2 is planned. MESSI currently comes as a set of Xxxxx files to be imported by the specifications of self-assembly strategies provided by the users.
Progress and Integration. MISSCEL has been developed during the third year of the project. In principle, the tool can be used as a standalone Xxxxx file, however, by using the Xxxxx Daemon Wrapper from Section 2.2, we have developed an Eclipse plugin wrapping MISSCEL – here called jMISSCEL – which we have integrated in the SDE.
Progress and Integration. The initial results of using SimSOTA to support engineering (modeling, animating and validating) of self-adaptive systems based on feedback loops was reported in [AHZ13, AZH12], and is detailed in deliverable D4.2. At present, the SimSOTA tool allows to architect, engineer and implement self- adaptive systems with feedback loops. We adopt the model-driven development process to model and simulate complex self-adaptive architectural patterns, and to automate the generation of Java implementation code for the patterns. Our work integrates both decentralized and centralized feedback loop techniques to exploit their benefits. The SimSOTA tool provides a set of pattern templates for the key SOTA patterns, depicted on Figure 6. This facilitates general-purpose and application-independent instantiation of models for complex systems based on feedback loops. The SimSOTA tool applies model transformations to automate the application of UML architectural design patterns and generate infrastructure code for the patterns in Java. The generated Java files of the SOTA patterns can be further adjusted by the engineer to derive a complete implementation for the patterns. To assist this process, we provide a set of context-independent Java templates, which can be instantiated to a particular domain. Figure 7: FACPL Toolchain
Progress and Integration. The FACPL library and plugin have been developed during the third year of the project. In the last year of the project, the Java evaluation environment will be integrated within the jRESP runtime environment, thus enabling a full evaluation of the policy layer when programming ensembles using SCEL. We also plan to integrate an analysis tool, currently under development, that will permit to decide if a set of policies respect some given system behavioural properties. The fully integrated FACPL plugin will be added in the SDE.
Progress and Integration. At the current stage of the project, we have fully implemented the KnowLang Text Editor, Grammar Compiler and Parser. Work is progressing on the implementation of the Visual Editor, KB Compiler and Consistency Checker. In the course of the third year, work focused on the KnowLang Framework implementation and on improving the efficiency in knowledge representation in KnowLang. We have also started imple- xxxxxxx the KnowLang Xxxxxxxx, where the main efforts were on the implementation of the ASK and TELL operators along with the awareness control loop. Currently, we are implementing the op- erational semantics of these operators. As for the awareness control loop, we are using a super loop architecture that helps us realize different levels of awareness exhibition and eventually a degree of awareness. Basically, this architecture introduces a deadline to each of the awareness loop tasks and the levels of awareness are a product of the different number of loop iterations. Our plans for the fourth year are mainly concerned with further development of the KnowLang Xxxxxxxx. This will be complemented by the implementation of the awareness prototypes based on the new knowledge representation models for the ASCENS case studies, developed with the ARE approach as described in deliverable D3.3.
Progress and Integration. The BIP compiler and the core BIP tools have been rewritten in the second year of the ASCENS project. The BIP compiler is organized in Java packages in a modular way, allowing the dynamic invocation of model-to-model transformers and backends. The rewrite of the BIP compiler and the core BIP tools naturally impacts the additional analysis tools that rely on the BIP compiler, such as the D-Finder compositional verification tool. Updating these tools is work in progress, carried out to reflect the project tool integration requirements.
Progress and Integration. Work on GMC in the third project year included extensions for the C++ language features, and support for custom listeners – the support for C++ has been almost finished. Now the tool supports classes including all types of C++ inheritance, plus exceptions – currently there is a limitation that the type of the exception being thrown can only be a primitive type. Registered custom listeners get notified during the state space exploration as soon as a potentially interesting action, such as a method call, an instruction executed, or backtracking occurs. This extension distinguishes GMC for the purpose of the ASCENS project, where it can check ensemble-related properties. Multiple bug fixes and code optimizations have been implemented also in the C-part of the GMC tool. As the development of GMC progresses, the integrated development platform will allow using GMC on ARGoS controllers, verifying properties either encoded as assertions in the code, or specified externally. In the final project year, we plan to include support for templates and finish integration of the tool into SDE.
