Interactive A3 Architecture Overviews ☆: Intuitive Functionalities for Effective Communication

The A3 Architecture Overviews introduced earlier provide a powerful communication medium in systems engineering and architecting. Intended originally for reverse architecting, they are now also applied for designing system architectures and for systems of systems. With the current development in user interaction and touch controlled interfaces, a new means of communicating in systems engineering opens: Interactive A3 Architecture Overviews. This paper gives an overview of the state of the art of A3 Architecture Overviews before we present an investigation into interactive possibilities and an evaluation of a demonstration using a proof of concept. The results of the demonstration with several experts are listed. The main conclusion is that Interactive A3 Architecture Overviews can convey more information, without impeding usability. We end with a proposal for further developmen

Semantic model-driven development of web service architectures.

Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven development is a recent approach to developing software systems based on the idea of making models the central artefacts for design representation, analysis, and code generation. We propose an ontology-based engineering methodology for semantic model-driven composition and transformation of Web service architectures. Ontology technology as a logic-based knowledge representation and reasoning framework can provide answers to the needs of sharable and reusable semantic models and descriptions needed for service engineering. Based on modelling, composition and code generation techniques for service architectures, our approach provides a methodological framework for ontology-based semantic service architecture

ISEL: An e-Taxation System for Employers

In 2008 the State of Geneva modified its regulation on taxation at source in order to collect electronic fiscal data from employers. Indeed the latter provide data on their employees directly to the tax administration (AFC) and furthermore pay taxes to the State on behalf of their employees. They subtract the corresponding amounts from employees' income and refund that money to the fiscal administration. The taxation at source system is applied to foreigners who work in Switzerland or who receive Swiss pensions, to people who live in Geneva but work in other Cantons, as well as to performers, artists or speakers who work occasionally in Geneva. More than 12'000 companies and 117'000 employees are concerned by the scheme, and large companies provide data on several thousand employees. In the past these files provided by employers were handled semi-automatically by the AFC (at best). The new system (called ISEL for Impôt à la Source En Ligne) offers employers two electronic channels to provide data on employees: file transfer (.XSD) and internet e-form. This case study describes the ISEL project and its context, and discusses the issues raised by the introduction of this e-taxation system. On the human side, our paper takes a qualitative approach, based on interviews of various stakeholders involved in the project. They were asked questions on ISEL's functionality, usability, performance, and so on. On the technical side, the paper presents the architecting principles of the e-government approach in Geneva (Legality, Responsibility, Transparency and Symmetry) and the workflow that was implemented on top of AFC's legacy system.private public partnership; tax collection; e-services; e-government; data exchange; architecture; usability

Aircraft systems architecting: a functional-logical domain perspective

Presented is a novel framework for early systems architecture design. The framework defines data structures and algorithms that enable the systems architect to operate interactively and simultaneously in both the functional and logical domains. A prototype software tool, called AirCADia Architect, was implemented, which allowed the framework to be evaluated by practicing aircraft systems architects. The evaluation confirmed that, on the whole, the approach enables the architects to effectively express their creative ideas when synthesizing new architectures while still retaining control over the process

Architectural Model for Evaluating Space Communication Networks

[ANGLÈS] The space exploration endeavor started in 1957 with the launch and operation of the first manmade satellite, the URSS Sputnik 1. Since then, multiple space programs have been developed, pushing the limits of technology and science but foremost unveiling the mysteries of the universe. In all these cases, the need for flexible and reliable communication systems has been primordial, allowing the return of collected science data and, when necessary, ensuring the well-being and safety of astronauts. To that end, multiple space communication networks have been globally deployed, be it through geographically distributed ground assets or through space relay satellites. Until now most of these systems have relied upon mature technology standards that have been adapted to the specific needs of particular missions and customers. Nevertheless, current trends in the space programs suggest that a shift of paradigm is needed: an Internet-like space network would increase the capacity and reliability of an interplanetary network while dramatically reducing its overall costs. In this context, the System Architecting Paradigm can be a good starting point. Through its formal decomposition of the system, it can help determine the architecturally distinguishing decisions and identify potential areas of commonality and cost reduction. This thesis presents a general framework to evaluate space communication relay systems for the near Earth domain. It indicates the sources of complexity in the modeling process, and discusses the validity and appropriateness of past approaches to the problem. In particular, it proposes a discussion of current models vis-à-vis the System Architecting Paradigm and how they fit into tradespace exploration studies. Next, the thesis introduces a computational performance model for the analysis and fast simulation of space relay satellite systems. The tool takes advantage of a specifically built-in rule-based expert system for storing the constitutive elements of the architecture and perform logical interactions between them. Analogously, it uses numerical models to assess the network topology over a given timeframe, perform physical layer computations and calculate plausible schedules for the overall system. In particular, it presents a newly developed heuristic scheduler that guarantees prioritization of specific missions and services while ensuring manageable computational times.[CASTELLÀ] El inicio de la carrera espacial se inició en 1957 con el lanzamiento y operación del primer satélite artificial, el Sputnik 1 de la URSS. Desde entonces se han desarrollado múltiples programas espaciales que han llevado al límite tanto la tecnología como la ciencia y han permitido desvelar los misterios del universo. En todos estos casos, la necesidad de sistemas de comunicación flexibles y fiables ha sido primordial con el fin de asegurar el retorno de los datos científicos recopilados y, en ciertos casos, garantizar la seguridad de los astronautas. Como consecuencia, múltiples redes de comunicaciones espaciales han sido desplegadas, ya sea a través de antenas globalmente distribuidas a través de la superficie terrestre o mediante satélites repetidores. Hasta ahora la mayoría de estos sistemas se ha basado en estándares tecnológicos maduros y testeados, los cuales se han adaptado con el fin de satisfacer las necesidades específicas de cada misión y cliente. Sin embargo, las tendencias actuales en el diseño de los nuevos programas espaciales indica que un cambio de paradigma es necesario: una red espacial a imagen de Internet permitiría incrementar la capacidad y fiabilidad de las comunicaciones interplanetarias y, a la vez, reducir dramáticamente sus costes. En este contexto, el paradigma de arquitectura de sistemas puede ser un buen punto de partida. Mediante la descomposición formal del sistema, puede ayudar a determinar las decisiones que tienen un impacto cabal en el diseño de la arquitectura así como identificar las áreas con tecnologías similares y de menor coste. Esta tesis presenta un marco teórico general para evaluar sistemas de comunicaciones espaciales para misiones que orbitan la Tierra. Adicionalmente, la tesis indica los principales orígenes de complejidad durante el modelado del sistema y presenta una discusión sobre la validez de anteriores estrategias para analizar el problema. En concreto, propone una comparación de anteriores modelos respecto el paradigma de arquitectura de sistemas y su grado de adecuación para evaluar y comprar arquitecturas. A continuación, la tesis introduce un modelo computacional para simular y evaluar el rendimiento de sistemas de repetidores por satélite. La herramienta utiliza un rule-based expert system específicamente diseñado con el fin de almacenar los principales elementos constitutivos de la arquitectura y comprender las interacciones lógicas entre ellos. Análogamente, el modelo usa métodos numéricos con el fin de calcular la evolución temporal de la topología de la red en un determinado intervalo de tiempo, así como su capa física y un posible programa de contactos. En concreto, presenta un nuevo scheduler heurístico que garantiza la correcta ordenación de las misiones y servicios a la vez que asegura un tiempo computacional aceptable.[CATALÀ] L'inici de la cursa espacial va iniciar-se l'any 1957 amb el llançament i operació del primer satèl·lit artificial, l'Sputnik 1 de la URSS. Des d'aleshores s'han dut a terme múltiples programes espacials que han portat al límit tant la tecnologia com la ciència i han permès desvelar els misteris de l'univers. En tots aquests casos, la necessitat de sistemes de comunicació flexibles i fiables ha sigut primordial per tal d'assegurar el retorn de les dades científiques recopilades i, en certs casos, garantir el benestar i seguretat dels astronautes. Com a conseqüència, múltiples xarxes de comunicacions espacials han sigut desplegades, ja sigui a través d'antenes globalment distribuïdes a través de la superfície terrestre o mitjançant satèl·lits repetidors. Fins ara la majoria d'aquests sistemes s'han basat en estàndards tecnològics madurs i testats, els quals s'han adaptat per tal de satisfer les necessitats específiques de cada missió i client. Això no obstant, les tendències actuals en el disseny dels nous programes espacials indica que un canvi de paradigma és necessari: una xarxa espacial a imatge d'Internet permetria incrementar la capacitat i fiabilitat de les comunicacions interplanetàries i, alhora, reduir dramàticament els seu costs. En aquest context, el paradigma d'arquitectura de sistemes pot ser un bon punt de partida. Mitjançant la descomposició formal del sistema, pot ajudar a determinar les decisions que tenen un impacte cabdal en el disseny de l'arquitectura així com permetre identificar àrees amb tecnologies similars i de menor cost. Aquesta tesi presenta un marc teòric general per avaluar sistemes de comunicacions espacials per missions orbitant la Terra. Addicionalment, la tesi indica els principals orígens de complexitat durant el modelatge del sistema i presenta una discussió sobre la validesa d'anteriors estratègies per analitzar el problema. En concret, proposa una comparació d'anteriors models respecte el paradigma d'arquitectura de sistemes i el seu grau d'adequació per avaluar i comparar arquitectures. A continuació, la tesi introdueix un model computacional per simular i avaluar el rendiment de sistemes de repetidors per satèl·lit. L'eina empra un rule-based expert system específicament dissenyat per tal d'emmagatzemar els principals elements constitutius de l'arquitectura i comprendre les interaccions lògiques entre ells. Anàlogament, el model utilitza mètodes numèrics per tal de calcular l'evolució temporal de la topologia de la xarxa en un determinat interval de temps, així com calcular la seva capa física i un possible programa de contactes. En concret, presenta un nou scheduler heurístic que garanteix la correcte ordenació de les missions i serveis tot assegurant un temps de computació acceptable