Software engineering for self-adaptive systems:a research roadmap

The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. The paper is partitioned into four parts, one for each of the identified essential views of self-adaptation: modelling dimensions, requirements, engineering, and assurances. For each view, we present the state-of-the-art and the challenges that our community must address. This roadmap paper is a result of the Dagstuhl Seminar 08031 on "Software Engineering for Self-Adaptive Systems," which took place in January 2008. © 2009 Springer Berlin Heidelberg.

Run-time model evaluation for requirements model-driven self-adaptation

A self-adaptive system adjusts its configuration to tolerate changes in its operating environment. To date, requirements modeling methodologies for self-adaptive systems have necessitated analysis of all potential system configurations, and the circumstances under which each is to be adopted. We argue that, by explicitly capturing and modelling uncertainty in the operating environment, and by verifying and analysing this model at runtime, it is possible for a system to adapt to tolerate some conditions that were not fully considered at design time. We showcase in this paper our tools and research results. © 2012 IEEE.

Foreword:2nd workshop requirements@run.time

The 2nd edition of the Workshop requirements@run.time was held at the 19th International Conference on Requirements Engineering (RE 2011) in the city of Trento, Italy on the 30th of August 2011. It was organized by Nelly Bencomo, Emmanuel Letier, Jon Whittle, Anthony Finkelstein, and Kris Welsh. This foreword presents a digest of the discussions and presentations that took place during the workshop. © 2011 IEEE.

Foreword:first workshop requirements@run.time

The first edition of the Workshop requirements@run.time was held at the Eighteenth International Conference on Requirements Engineering (RE 2010) in the city of Sydney, NSW, Australia on the 28th of September 2010. It was organized by Pete Sawyer, Jon Whittle, Nelly Bencomo, Daniel Berry, and Anthony Finkelstein. This foreword presents a digest of the presentations and discussions that took place during the workshop. © 2010 IEEE.

Requirements Management and Acquisition Management experiences in Spanish Public Administrations

As a part of the activities of the first Symposium on Process Improvement Models and Software Quality of the Spanish Public Administration, working groups were formed to discuss the current state of the Requirements Management and Supplier Agreement Management processes. This article presents general results and main contributions of those working groups. The results have allowed the obtention of a preliminary appraisal of the current state of these two processes in the Spanish Public Administration.

QuantUn:quantification of uncertainty for the reassessment of requirements

Self-adaptive systems (SASs) should be able to adapt to new environmental contexts dynamically. The uncertainty that demands this runtime self-adaptive capability makes it hard to formulate, validate and manage their requirements. QuantUn is part of our longer-term vision of requirements reflection, that is, the ability of a system to dynamically observe and reason about its own requirements. QuantUn's contribution to the achievement of this vision is the development of novel techniques to explicitly quantify uncertainty to support dynamic re-assessment of requirements and therefore improve decision-making for self-adaption. This short paper discusses the research gap we want to fill, present partial results and also the plan we propose to fill the gap.

Desenvolvimento, testes e qualidade de software

RESUMO: Hoje em dia o software tornou-se num elemento útil na vida das pessoas e das empresas. Existe cada vez mais a necessidade de utilização de aplicações de qualidade, com o objectivo das empresas se diferenciarem no mercado. As empresas produtoras de software procuram aumentar a qualidade nos seus processos de desenvolvimento, com o objectivo de garantir a qualidade do produto final. A dimensão e complexidade do software aumentam a probabilidade do aparecimento de não-conformidades nestes produtos, resultando daí o interesse pela actividade de testes de software ao longo de todo o seu processo de concepção, desenvolvimento e manutenção. Muitos projectos de desenvolvimento de software são entregues com atraso por se verificar que na data prevista para a sua conclusão não têm um desempenho satisfatório ou por não serem confiáveis, ou ainda por serem difíceis de manter. Um bom planeamento das actividades de produção de software significa usualmente um aumento da eficiência de todo o processo produtivo, pois poderá diminuir a quantidade de defeitos e os custos que decorrem da sua correcção, aumentando a confiança na utilização do software e a facilidade da sua operação e manutenção. Assim se reconhece a importância da adopção de boas práticas no desenvolvimento do software. Para isso deve-se utilizar uma abordagem sistemática e organizada com o intuito de produzir software de qualidade. Esta tese descreve os principais modelos de desenvolvimento de software, a importância da engenharia dos requisitos, os processos de testes e principais validações da qualidade de software e como algumas empresas utilizam estes princípios no seu dia-a-dia, com o intuito de produzir um produto final mais fiável. Descreve ainda alguns exemplos como complemento ao contexto da tese. ABSTRACT: Nowadays the software has become a useful element in people's lives and it is increasingly a need for the use of quality applications from companies in order to differentiate in the market. The producers of software increase quality in their development processes, in order to ensuring final product quality. The complexity and size of software, increases the probability of the emergence of non-conformities in these products, this reason increases of interest in the business of testing software throughout the process design, development and maintenance. Many software development projects are postpone because in the date for delivered it’s has not performed satisfactorily, not to be trusted, or because it’s harder to maintain. A good planning of software production activities, usually means an increase in the efficiency of all production process, because it can decrease the number of defects and the costs of it’s correction, increasing the reliability of software in use, and make it easy to operate and maintenance. In this manner, it’s recognized the importance of adopting best practices in software development. To produce quality software, a systematic and organized approach must be used. This thesis describes the main models of software development, the importance of requirements engineering, testing processes and key validation of software quality and how some companies use these principles daily, in order to produce a final product more reliable. It also describes some examples in addition to the context of this thesis.

A demonstration case on the derivation of process-level logical architectures for ambient assisted living ecosystems

When representing the requirements for an intended software solution during the development process, a logical architecture is a model that provides an organized vision of how functionalities behave regardless of the technologies to be implemented. If the logical architecture represents an ambient assisted living (AAL) ecosystem, such representation is a complex task due to the existence of interrelated multidomains, which, most of the time, results in incomplete and incoherent user requirements. In this chap- ter, we present the results obtained when applying process-level modeling techniques to the derivation of the logical architecture for a real industrial AAL project. We adopt a V-Model–based approach that expresses the AAL requirements in a process-level perspec- tive, instead of the traditional product-level view. Additionally, we ensure compliance of the derived logical architecture with the National Institute of Standards and Technology (NIST) reference architecture as nonfunctional requirements to support the implementa- tion of the AAL architecture in cloud contexts.

Aplicação móvel android de apoio a gestão de empréstimos e reservas das bibliotecas da Universidade do Minho

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

Intranetin ylläpitoprosessin kehittäminen

Työn tavoitteena on tutkia intranetin ylläpitoprosessien merkitystä sisäisen viestinnän, tiedonhallinnan ja käytettävyyden kannalta. Työn kirjallisuusosuuden tavoitteena on tutustua yrityksen sisäisen viestinnän eri tekijöihin, tavoitteisiin, merkityksiin ja menetelmiin. Intranetin roolia organisaation kontekstissa tarkastellaan näkökulmista: organisaatio, tieto organisaatiossa, organisaatioiden sisäinen viestintä ja viestintäteknologian keinot sisäiseen viestintään. Kirjallisuusosan toisena tavoitteena on tutustua käyttäjäkeskeisen suunnittelun lähtökohtiin ja malleihin. Nykypäivän tuotteissa käyttäjäkeskeisyys on itsestään selvää, ja se otetaankin huomioon jo tuotesuunnittelun alkuvaiheista lähtien. Työssä tutustutaan kolmeen käyttäjäkeskeisen suunnittelun prosessimalliin: ISO 13407 –prosessimalli, Usability engineering lifecycle ja vaatimusmäärittelyn spiraalimalli. Työssä esitellään myös käyttäjäkeskeisen vaatimusmäärittelyn toteuttamiseen liittyviä vaiheita, tekijöitä ja toimenpiteitä. Työn käytännönosuudessa tarkastellaan case-yrityksen intranet-palvelun nykytilannetta ja kuvataan nykyinen ylläpitoprosessi ja sen ongelmakohdat. Työn tavoitteena on pohtia ratkaisuja näihin ongelmiin. Käytännössä tämä tarkoittaa intranetin vaatimusmäärittelyn tekemistä, jonka pohjalta voidaan tunnistaa kehityskohteet ja tehdä suunnitelma toimintojen kehittämisestä. Työn lopputuloksena saadaan prosessien kuvaus, joilla ylläpito hoituu parhaiten.

Selected Aspects Related to Pre-development Stages of International Software projects. Case of Finland and Russia

The question of Pilot Project creation, due to support pre-development stage of software product elaboration, nowadays might be used as an approach, which allows improving the whole scheme of information technology project running. This subject is not new, but till now no model has been presented, which gives deep description of this important stage on the early phase of project. This Master's Thesis represents the research's results and findings concerning the pre-development study from the Software Engineering point of view. The aspects of feasibility study, pilot prototype developments are analyzed in this paper. As the result, the technique of Pilot Project is formulated and scheme has been presented. The experimental part is focused on particular area Pilot Project scheme's implementation- Internationally Distributed Software projects. The specific characteristic, aspects, obstacles, advantages and disadvantages are considered on the example of cross border region of Russia and Finland. The real case of Pilot Project technique implementation is given.

Paperiteollisuuden tehdasjärjestelmien uusimisen vaatimukset usean tehtaan ympäristössä

Tässä diplomityössä tutkitaan tehdasjärjestelmien uusintaan vaikuttavia tekijöitä, kun tarkoituksena on siirtyä yhtenäisiin tuotepohjaisiin järjestelmäratkaisuihin usean paperitehtaan ympäristössä. Paperitehtaan tehdasjärjestelmän avulla hallitaan tehtaan toimintaa alkaen tilauksen saapumisesta tehtaalle aina valmiin tuotteen varastointiin sekä asiakkaalle toimitukseen saakka. Työn pääasiallinen tarkoitus on tutkia erilaisten teknisten arkkitehtuurien, kuten keskitetyn tai hajautetun palvelinympäristön vaikutusta järjestelmän käyttövarmuuteen, käytettävyyteen sekä järjestelmän elinkaaren aikaisiin kustannuksiin. Tietojärjestelmien keskittämiseen ja konsolidointiin liittyen tutkitaan mm. vaikutuksia liityntöjen ja raportoinnin hallintaan sekä tietoverkoille asetettavia vaatimuksia. Työssä tutkitaan myös tuotepohjaisten järjestelmien räätälöintitarpeita ja siihen liittyvää vaatimusmäärittelyä. Työssä esitettyjä näkemyksiä voidaan käyttää päätösten tukena, kun pohditaan toteutettavan tietojärjestelmän teknisen infrastruktuurin optimaalisinta rakennetta.

Vaatimustenkäsittely ohjelmistopalveluyrityksessä

Vaatimustenkäsittely on erittäin tärkeä osa-alue tehtäessä uusia ohjelmistoja. Vaatimustenkäsittely ei ole vain vaatimusmääritettydokumentin kokoamista ohjelmistoprojektin alussa vaan siihen sisältyy vaatimusten määrittely, hallinta ja todentaminen koko ohjelmiston elinkaaren ajan. Ohjelmistopalveluyrityksessä vaatimustenkäsittelyn merkitys korostuu entisestään ja tällaisella yrityksellä on oltava toimiva vaatimustenkäsittelyprosessi. Tässä työssä esitellään vaatimustenkäsittelyn teoriaa, prosesseihin liittyvää laadunvalvontaa sekä prosessien arviointi ja -kehittämismalleja. Työssä tarkastellaan kahden erityyppisen ohjelmistopalveluyrityksen vaatimustenkäsittelyä ja esitetään havaintoja prosessimalleista. Työn tuloksena esitetään johtopäätöksiä vaatimustenkäsittelystä ja siihen liittyvistä prosesseista sekä laadunvalvonnasta.

Vaatimusmäärittelykäytäntöjen sovellettavuus talousohjauksen vaatimuksia kartoitettaessa

Vaatimusten määrittelyn tarkoitus on kartoittaa tietojärjestelmän käyttäjien työtehtäviä ja niihin liittyviä järjestelmän toiminnallisia ja ei-toiminnallisia vaatimuksia. Todellinen asiakasnäkökulma tulee esille yrityksen itse käynnistämässä vaatimusten määrittelyssä. Nykytilan selvittäminen ja kriittisten toimintojen havaitseminen käynnistävät kohdeyksikössä käytävän keskinäisen keskustelun, mikä on edellytyksenä järjestelmävaatimusten havaitsemiseen. Tämän työn teoriaosuudessa lähestytään eri näkökulmia vaatimustenmäärittelyyn. Tämän jälkeen esitellään muutamia asiakasyritykselle sopivia määrittelymenetelmiä, joita voidaan hyödyntää valmisohjelmistohankeen määrittelyssä. Työssä esitetään myös toiminnanohjaukseen ja tietovarastointiin tarkoitettujen järjestelmien tapaa kerätä taloudellista informaatiota ja luoda raportteja johdolle päätöksenteon tueksi. Työn empiirisessä osassa selvitetään mitkä ovat Lappeenrannan Energia Oy:n asettamat liiketoiminnalliset tarpeet ja vaatimukset uudelle talousohjauksen tietojärjestelmälle.