mdh.sePublikasjoner
Endre søk
Begrens søket
2345678 201 - 250 of 1067
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 201.
    Cicchetti, Antonio
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ciccozzi, Federico
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Malardalen Univ, Sch Innovat Design & Engn IDT, Vasteras, Sweden..
    Pierantonio, Alfonso
    Univ Aquila, DISIM, Laquila, Italy..
    Multi-view approaches for software and system modelling: a systematic literature review2019Inngår i: Software and Systems Modeling, ISSN 1619-1366, E-ISSN 1619-1374, Vol. 18, nr 6, s. 3207-3233Artikkel, forskningsoversikt (Fagfellevurdert)
    Abstract [en]

    Over the years, a number of approaches have been proposed on the description of systems and software in terms of multiple views represented by models. This modelling branch, so-called multi-view software and system modelling, praises a differentiated and complex scientific body of knowledge. With this study, we aimed at identifying, classifying, and evaluating existing solutions for multi-view modelling of software and systems. To this end, we conducted a systematic literature review of the existing state of the art related to the topic. More specifically, we selected and analysed 40 research studies among over 8600 entries. We defined a taxonomy for characterising solutions for multi-view modelling and applied it to the selected studies. Lastly, we analysed and discussed the data extracted from the studies. From the analysed data, we made several observations, among which: (i) there is no uniformity nor agreement in the terminology when it comes to multi-view artefact types, (ii) multi-view approaches have not been evaluated in industrial settings and (iii) there is a lack of support for semantic consistency management and the community does not appear to consider this as a priority. The study results provide an exhaustive overview of the state of the art for multi-view software and systems modelling useful for both researchers and practitioners.

  • 202.
    Cicchetti, Antonio
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Di Ruscio, Davide
    Universit`a degli Studi dell’Aquila, Italy.
    Eramo, Romina
    Universit`a degli Studi dell’Aquila, Italy.
    Pierantonio, Alfonso
    Universit`a degli Studi dell’Aquila, Italy.
    JTL: a bidirectional and change propagating transformation language2011Inngår i: Lecture Notes in Computer Science, Vol 6563 / [ed] Malloy, B; Staab, S; VanDenBrand, M, Berlin: Springer, 2011, 6563, s. 183-202Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

     In Model Driven Engineering bidirectional transformations are considered a core ingredient for managing both the consistency and synchronization of two or more related models. However, while non-bijectivity in bidirectional transformations is considered relevant, current languages still lack of a common understanding of its semantic implications hampering their applicability in practice.

    In this paper, the Janus Transformation Language (JTL) is presented, a bidirectional model transformation language specifically designed to support non-bijective transformations and change propagation. In particular, the language propagates changes occurring in a model to one or more related models according to the specified transformation regardless of the transformation direction. Additionally, whenever manual modifications let a model be non reachable anymore by a transformation, the closest model which approximate the ideal source one is inferred. The language semantics is also presented and its expressivity and applicability are validated against a reference benchmark. JTL is embedded in a framework available on the Eclipse platform which aims to facilitate the use of the approach, especially in the definition of model transformations.

  • 203.
    Ciccozzi, Federico
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Explicit connection patterns (ECP) profile and semantics for modelling and generating explicit connections in complex UML composite structures2016Inngår i: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 121, s. 329-344Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Model-driven engineering can help in mitigating ever-growing complexity of modern software systems. In this sense, the Unified Modelling Language (UML) has gained a thick share in the market of modelling languages adopted in industry. Nevertheless, the generality of UML can make it hard to build complete code generators, simulators, model-based analysis or testing tools without setting variability in the semantics of the language. To tailor semantics variability the notion of semantic variation point has been introduced in UML 2.0. Our research focuses on the semantic variation point that leaves the rules for matching multiplicities of connected instances of components and ports undecided in UML composite structures. In order to allow model analysability, simulation and code generation, this semantics needs to be set. At the same time, leaving the burden of this task to the developers is often overwhelming for complex systems. In this paper we provide a solution for supporting modelling and automatic calculation and generation of explicit interconnections in complex UML composite structures. This is achieved by (i) defining a set of connection patterns, in terms of a UML profile, and related semantic rules for driving the calculation, (ii) providing a generation algorithm to calculate the explicit interconnections.

  • 204.
    Ciccozzi, Federico
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    From Models to Code and Back: A Round-trip Approach for Model-driven Engineering of Embedded Systems2014Doktoravhandling, monografi (Annet vitenskapelig)
    Abstract [en]

    The complexity of modern systems is continuously growing, thus demanding novel powerful development approaches.In this direction, model-driven and component-based software engineering have reached the status of promising paradigms for the development of complex systems. Moreover, in the embedded domain, their combination is believed to be helpful in handling the ever-increasing complexity of such systems.However, in order for them and their combination to definitively break through at industrial level, code generated from models through model transformations should preserve system properties modelled at design level.

    This research work focuses on aiding the preservation of system properties throughout the entire development process across different abstraction levels. Towards this goal, we provide the possibility of analysing and preserving system properties through a development chain constituted of three steps: (i) generation of code from system models, (ii) execution and analysis of generated code, and (iii) back-propagation of analysis results to system models.With the introduction of steps (ii) and (iii), properties that are hard to predict at modelling level are compared with runtime values and this consequently allows the developer to work exclusively at modelling level thus focusing on optimising system models with the help of those values.

    Fulltekst (pdf)
    fulltext
  • 205.
    Ciccozzi, Federico
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Supporting Extra-Functional Properties Preservation in Model-Driven Engineering of Embedded Systems2011Rapport (Annet vitenskapelig)
    Abstract [en]

    In order for model-driven engineering to succeed, automated code generation from models through model transformations has to guarantee that extra-functional properties modelled at design level are preserved at code level. A full round-trip engineering approach could be needed in order to evaluate quality attributes of the embedded system by code execution monitoring/analysis tools and then provide backpropagation of the target code analysis results to modelling level. In this way, properties that can only be estimated statically are evaluated against runtime values and this consequently allows to optimize the design models for ensuring preservation of analysed extra-functional aspects. This paper presents an approach to support the whole round-trip process starting from the generation of source code for a target platform, passing through the monitoring of selected system quality attributes at code level, and nishing with the back-propagation of measured values to modelling level. The technique is validated against an industrial casestudy in the telecommunications applicative domain.

  • 206.
    Ciccozzi, Federico
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Toward Preservation of Extra-Functional Properties for Model-Driven Component-Based Software Engineering of Embedded Systems2012Licentiatavhandling, med artikler (Annet vitenskapelig)
    Abstract [en]

    Model-driven and component-based software engineering have been widely recognized as promising paradigms for development of a wide range of systems. Moreover, in the embedded real-time domain, their combination is believed to be helpful in handling the ever-increasing complexity of such systems design.However, in order for these paradigms and their combination to definitely break through at an industrial level for development of embedded real-time systems, both functional and extra-functional properties need to be addressed at each level of abstraction.

    This research focuses on the preservation of extra-functional properties. More specifically, the aim is to provide support for easing such preservation throughout the entire development process at different abstraction levels.The main outcome of the research work is a round-trip engineering approach aiding the preservation of extra-functional properties by providing code generators, supporting monitoring and analysis of code execution, and then enabling back-propagation of the results to modelling level. In this way, properties that can only be roughly estimated statically are evaluated against runtime values and this consequently allows to optimize the design models for ensuring preservation of analysed extra-functional properties.

    Moreover, a solution for managing evolution of computational context in which extra-functional properties are defined by means of validity analysis is provided. Such solution introduces a new language for the description of the computational context in which a given property is provided and/or computed by some analysis, enables detection of changes performed to the context description, and analyses the possible impacts on the extra-functional property values based on a precise representation of differences between previous and current version of the model.

    Fulltekst (pdf)
    fulltext
  • 207.
    Ciccozzi, Federico
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Corcoran, Diarmuid
    Ericsson AB, Kista, Sweden.
    Seceleanu, Tiberiu
    ABB Corporate Research, Vasteras, Sweden.
    Scholle, Detlef
    Alten Sverige AB, Sweden.
    SMARTCore: Boosting Model-Driven Engineering of Embedded Systems for Multicore2015Inngår i: Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015, 2015, Vol. Article number 7113454, s. 89-94Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Thanks to continuous advances in both software and hardware technologies the power of modern embedded systems is ever increasing along with their complexity. Among the others, Model-Driven Engineering has grown consideration for mitigating this complexity through its ability to shift the focus of the development from hand-written code to models from which correct-by-construction implementation is automatically generated. However, the path towards correctness-by-construction is often twisted by the inability of current MDE approaches to preserve certain extra-functional properties such as CPU and memory usage, execution time and power consumption. With SMARTCore we address open challenges, described in this paper together with an overview of possible solutions, in modelling, generating code from models, and exploiting back-propagated extra-functional properties observed at runtime for deployment optimisation of embedded systems on multicore. SMARTCore brings together world leading competence in software engineering, model-driven engineering for embedded systems (Mälardalen University), and market leading expertise in the development of these systems in different business areas (ABB Corporate Research, Ericsson AB, Alten Sweden AB).

  • 208.
    Ciccozzi, Federico
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Crnkovic, Ivica
    Chalmers University of Technology, University of Gothenburg, Sweden.
    Di Ruscio, D.
    University of L'Aquila, Italy.
    Malavolta, I.
    University of L'Aquila, Italy.
    Pelliccione, P.
    Chalmers University of Technology, University of Gothenburg, Sweden.
    Spalazzese, R.
    Malmö University, Sweden.
    Model-Driven Engineering for Mission-Critical IoT Systems2017Inngår i: IEEE Software, ISSN 0740-7459, Vol. 34, nr 1, s. 46-53, artikkel-id 7819388Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Mission-critical Internet of Things (MC-IoT) systems involve heterogeneous things from both the digital and physical worlds. They run applications whose failure might cause significant and possibly dramatic consequences, such as interruption of public services, significant business losses, and deterioration of enterprise operations. These applications require not only high availability, reliability, safety, and security but also regulatory compliance, scalability, and serviceability. At the same time, they're exposed to various facets of uncertainty, spanning from software and hardware variability to mission planning and execution in possibly unforeseeable environments. Model-driven engineering can potentially meet these challenges and better enable the adoption of MC-IoT systems.

  • 209.
    Ciccozzi, Federico
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Tichy, M.
    Ulm University, Ulm, Germany.
    Vangheluwe, H.
    Univ. of Antwerp - Flanders Make, Antwerp, Belgium.
    Weyns, D.
    KU Leuven and Linneaus Univ., Leuven, Belgium.
    Blended modelling - What, why and how2019Inngår i: Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019, Institute of Electrical and Electronics Engineers Inc. , 2019, s. 425-430Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Empirical studies indicate that user experience can significantly be improved in model-driven engineering. Blended modelling aims at mitigating this by enabling users to interact with a single model through different notations. Blended modelling contributes to various modelling qualities, including comprehensibility, analysability, and acceptability. In this paper, we define the notion of blended modelling and propose a set of dimensions that characterise blended modelling. The dimensions are grouped in two classes: user-oriented dimensions and realisation-oriented dimensions. Each dimension describes a facet that is relevant to blended modelling together with its domain (i.e., the range of values for that dimension). The dimensions offer a basic vocabulary to support tool developers with making well-informed design decisions as well as users to select appropriate tools and configure them according to the needs at hand. We illustrate how the dimensions apply to different cases relying on our experience with blended modelling. We discuss the impact of blended modelling on usability and user experience and sketch metrics to measure it. Finally, we outline a number of core research directions in this increasingly important modelling area.

  • 210.
    Cimatti, A.
    et al.
    University of Trento, Trento, Italy.
    Sirjani, Marjan
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Preface2017Inngår i: Lect. Notes Comput. Sci., Springer Verlag , 2017, s. V-VIKonferansepaper (Fagfellevurdert)
  • 211.
    Cocks, Robin
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Digitalt pedagogiskt hjälpmedel för barn med autism2014Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
    Abstract [sv]

    Spelutbudet för barn med autism är litet. Eftersom varje barn med autism har individuella svårigheter och funktionsnedsättningar är det svårt att göra ett spel som generellt passar alla barn. Dagens teknik har förutsättningarna för att göra det möjligt och enklare för dessa barn att träna upp sina nedsatta förmågor. Syftet med examensarbetet var att framställa en prototyp av ett interaktivt spel för barn med autism till surfplatta och/eller telefon. Spelmomenten skulle kunna backas upp med medicinsk fakta för att hålla en kvalitativ nivå. Barnet som spelar spelet skulle ha möjlighet att lära sig något och träna upp en nedsatt förmåga som förhoppningsvis skulle kunna komma till nytta i barnets vardag.

    Fulltekst (pdf)
    fulltext
  • 212.
    Coradeschi, Silvia
    et al.
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    Cortellessa, GabriellaInstitute of Cognitive Science and Technology, National Research Council of Italy, Rome, Italy.Kristoffersson, AnnicaÖrebro universitet, Institutionen för naturvetenskap och teknik.Loutfi, AmyÖrebro universitet, Institutionen för naturvetenskap och teknik.
    Proceedings of the Ro-man 2012 Workshop on Social Robotics Telepresence2012Konferanseproceedings (Annet vitenskapelig)
  • 213.
    Coradeschi, Silvia
    et al.
    School of Science and Technology, Örebro University, Örebro, Sweden.
    Cortellessa, GabriellaCNR - National Research Council of Italy, Istituto di Scienze e Tecnologie della Cognizione, Rome, Italy.Kristoffersson, AnnicaÖrebro universitet, Institutionen för naturvetenskap och teknik.Loutfi, AmyÖrebro universitet, Institutionen för naturvetenskap och teknik.Severinson Eklundh, KerstinCI Group, CSC, KTH Royal Institute of Technology, Stockholm, Sweden.
    Proceedings of the 2011 HRI Workshop on Social Robotic Telepresence2011Konferanseproceedings (Annet vitenskapelig)
  • 214.
    Coradeschi, Silvia
    et al.
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    Kristoffersson, Annica
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    Loutfi, Amy
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    Von Rump, Stephen
    Cesta, Amedeo
    Cortellessa, Gabriella
    Gonzalez, Javier
    Towards a methodology for longitudinal evaluation of social robotic telepresence for elderly2011Inngår i: 1st Workshop on Social Robotic Telepresence at HRI 2011, 2011Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper describes a methodology for performing longitudinal evaluations when a social robotic telepresence system is deployed in realistic environments. This work is the core of an Ambient Assisted Living Project called ExCITE, Enabling Social Interaction Through Telepresence. The ExCITE project is geared towards an elderly audience and has as aim to increase social interaction among elderly, their family and healthcare services by using robotic telepresence. The robotic system used in the project is called the Giraff robot and over a three year period, prototypes of this platform are deployed at a number of test-sites in different European countries where user feedback is collected and fedback into the refinement of the prototype. In this paper, we discuss the methodology of ExCITE in particular relation to other methodologies for longitudinal evaluation. The paper also provides a discussion of the possible pitfalls and risks in performing longitudinal studies of this nature particularly as they relate to social robotic telepresence technologies.

  • 215.
    Coradeschi, Silvia
    et al.
    Örebro universitet, Akademin för naturvetenskap och teknik.
    Loutfi, Amy
    Örebro universitet, Akademin för naturvetenskap och teknik.
    Kristoffersson, Annica
    Örebro universitet, Institutionen för naturvetenskap och teknik.
    Cortellessa, Gabriella
    Consiglio Nazionale delle Ricerche (CNR), Rome, Italy; Istituto di Scienze e Tecnologie della Cognizione (ISTC-CNR), Rome, Italy.
    Severinson Eklundh, Kerstin
    KTH, Royal Institute of Technology, Stockholm, Sweden.
    Social robotic telepresence2011Inngår i: the 6th ACM/IEEE International Conference on Human-Robot Interaction (HRI 2011).HRI, ACM Digital Library , 2011, s. 5-6Konferansepaper (Fagfellevurdert)
  • 216.
    Coronado Romero, Marcos Jose
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Evaluation of Real-Time databases in a control-system setting2010Independent thesis Advanced level (degree of Master (One Year)), 30 poäng / 45 hpOppgave
    Abstract [en]

    This thesis is related to the knowledge area of real-time systems and real-time databases.

    The increasing complexity of the systems, specifically the embedded systems, and the need of store and share the information they use leads to the need of new technologies. For this reason a need of real-time database management system has emerged to satisfy the new requirements. Several commercial database systems claim to be real-time, but this technology is not consolidated enough.

    The thesis will perform an evaluation of those databases mainly in predictability terms since predictability is necessary for the correct execution of hard real-time systems. In order to complete the evaluation, a real-time database application has been implemented. This application implements two commercial databases, namely Mimer and eXtremeDB, and a monitor application which is responsible for displaying all the relevant database behavior’s information at runtime. A comparative studying of both databases has been carried out in order to determine how predictable these databases are. Parameters such as response time, CPU time consumption, etc has been studied. Finally, it can be concluded that both databases are predictable to a certain level. On one hand Mimer has an estimation of the worst case response time around 12 µs and CPU overload of 36%, and the fluctuation along the transactions is nearly negligible. On the other hand, eXtreme has an estimation of the worst-case response time around 18 µs and CPU overload of 41%, and the fluctuation along the transactions are rather bigger than the Mimer’s. However, it can be concluded that both databases provide real-time transactions and, thus, they are able to be implemented in real-time systems.

    Fulltekst (pdf)
    FULLTEXT01
  • 217.
    Corradini, Flavio
    et al.
    Univ Camerino, Sch Sci & Technol, Via Madonna delle Carceri 9, Camerino, MC, Italy..
    De Angelis, Francesco
    Univ Camerino, Sch Sci & Technol, Camerino, MC, Italy..
    Polini, Andrea
    Univ Camerino, Sch Sci & Technol, Camerino, MC, Italy..
    Castagnari, Carlo
    Univ Camerino, Sch Sci & Technol, Camerino, MC, Italy..
    de Berardinis, Jacopo
    Univ Manchester, Sch Comp Sci, Oxford Rd, Manchester M13 9PL, Lancs, England.
    Forcina, Giorgio
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions2020Inngår i: Journal of Intelligent Systems, ISSN 0334-1860, E-ISSN 2191-026X, Vol. 29, nr 1, s. 1188-1201Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Estimating the effects of introducing a range of smart mobility solutions within an urban area is a crucial concern in urban planning. The lack of a simulator for the assessment of mobility initiatives forces local public authorities and mobility service providers to base their decisions on guidelines derived from common heuristics and best practices. These approaches can help planners in shaping mobility solutions; however, given the high number of variables to consider, the effects are not guaranteed. Therefore, a solution conceived respecting the available guidelines can result in a failure in a different context. In particular, difficult aspects to consider are the interactions between different mobility services available in a given urban area and the acceptance of a given mobility initiative by the inhabitants of the area. In order to fill this gap, we introduce Tangramob, an agent-based simulation framework capable of assessing the impacts of a smart mobility initiative within an urban area of interest. Tangramob simulates how urban traffic is expected to evolve as citizens start experiencing newly offered traveling solutions. This allows decision makers to evaluate the efficacy of their initiatives, taking into account the current urban system. In this paper, we provide an overview of the simulation framework along with its design. To show the potential of Tangramob, three mobility initiatives are simulated and compared in the same scenario. This demonstrates how it is possible to perform comparative experiments so as to align mobility initiatives to the user goals.

  • 218.
    Cozza, Michela
    et al.
    Mälardalens högskola, Akademin för ekonomi, samhälle och teknik, Industriell ekonomi och organisation.
    Crevani, Lucia
    Mälardalens högskola, Akademin för ekonomi, samhälle och teknik, Industriell ekonomi och organisation.
    Panel on "Ageing and Technologies"2017Konferansepaper (Fagfellevurdert)
  • 219.
    Crnkovic, Ivica
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Grunske, Lars
    University of Queensland, Brisbane, Australia.
    Evaluating Dependability Attributes of Component-Based Specifications2007Inngår i: Proceedings - International Conference on Software Engineering 2007, 2007, s. 157-158Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Component-Based Development (CBD) is established in many application domains. There is a strong trend in applying the same approach in different domains of dependable systems. However, a precondition of a successful use of CBD in these domains is the utilization of theories, methods and technologies to predict and evaluate dependability attributes. This tutorial gives an analysis of current methodologies of attribute-specific evaluation methods for dependable component-based systems. We identify limitations of the current technologies, discusses existing and possible new solutions to overcome these limitations both from a esearch-oriented and practical perspective.

  • 220. Crnkovic, Ivica
    et al.
    Lau, K. -K
    University of Manchester, Manchester, United Kingdom.
    Mirandola, R.
    Politecnico di Milano, Milano, Italy.
    SOA and quality assurance2008Inngår i: EUROMICRO 2008 - Proceedings of the 34th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2008, 2008, s. xxvii-xxviiiKonferansepaper (Fagfellevurdert)
    Abstract [en]

    This panel session discusses which qualities are of particular importance for SOA and it explores the possible ways to guarantee them. Presentations in the session will explore the use of different techniques and approaches in order to foster the adoption of quality modeling techniques by industrial software systems.

  • 221.
    Crnkovic, Ivica
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Chalmers, Gothenburg, Sweden.
    Malavolta, I.
    Gran Sasso Science Institute, L'Aquila, Italy.
    Muccini, H.
    University of L'Aquila, DISIM Departments, Italy.
    Sharaf, M.
    University of L'Aquila, DISIM Departments, Italy.
    On the Use of Component-Based Principles and Practices for Architecting Cyber-Physical Systems2016Inngår i: Proceedings - 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016, 2016, s. 23-32Konferansepaper (Fagfellevurdert)
    Abstract [en]

    By focussing on Cyber Physical Systems (CPS), this paper investigates how component-based principles and practices are used and support the activity of architecting CPS. For doing so, by running a systematic process, we selected 49 primary studies from the most important publishers search engines. Those papers have been analyzed and their contents classified according to the Classification Framework for Component Models proposed in our previous work. The results show that the main concerns handled by CPS component models are those of integration, performance, and maintainability. The instruments to satisfy those concerns, while architecting CPS, are ad-hoc software/system architecture, model-based approaches, architectural and component languages, and design. The IEC 61499 standard with its functions block is remarkably used to drive the work on six papers. Java is the most frequently used programming language used for implementing the components. Components are deployed mostly at compile time. Interfaces are almost equally distributed into port-based and operation-based. Overall, the results show a transition of technologies and approaches used in Embedded Systems to CPS, but still lacking methods for integrated architecting, in particular in incremental development.

  • 222.
    Crnkovic, Ivica
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Stafford, Judith
    Tufts Univ, USA.
    Szyperski, Clemens
    Microsoft Corp.
    Software Components beyond Programming: From Routines to Services2011Inngår i: IEEE Software, ISSN 0740-7459, E-ISSN 1937-4194, Vol. 28, nr 3, s. 22-26Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Software engineering (SE) conference in 1968, Doug Mc Ilroy introduced the concept of software components during his keynote speech, "Mass-Produced Software Components." That components hold such an esteemed place in SE history should come as no surprise: componentization is a fundamental engineering principle. Top-down approaches decompose large systems into smaller parts-components and bottom-up approaches compose smaller parts components into larger systems. Since 1968, components have played a role in both SE research and practice. For example, components have been an immanent part of software architecture from its early days.2 In 1998, the In ternational Conference on Software Engineering introduced component based software engineering (CBSE) as a specific area within SE at the first workshop on CBSE.

  • 223.
    Cucchiella, Stefano
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Cicchetti, Antonio
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Ciccozzi, Federico
    Mälardalens högskola, Akademin för innovation, design och teknik.
    An Open-Source Pivot Language for Proprietary Tool-chaining2011Inngår i: 18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011), LOS ALAMITOS: IEEE COMPUTER SOC , 2011, s. 241-250Konferansepaper (Annet vitenskapelig)
    Abstract [en]

    Nowadays industrial software development faces an increasing system complexity together with the necessity to significantly decrease costs and time of the development process and to release at the same time high-quality products. As a consequence, they typically adopt a constellation of proprietary tools, each of which deals with particular stages of the overall development process, namely design, testing, and deployment to mention a few. Model-Driven Engineering techniques are gaining a growing interest as an efficient approach to tackle the current software intricacy. However, the use of a multitude of proprietary tools requires the redundant specification of characteristics of the system and hampers their chaining. This work reports the experience gained in industrial settings: problems arisen from the usage of different tools for different aims during the development process are discussed; moreover, a possible solution based on an open-source pivot language acting as a bridge to share information between different proprietary tools is illustrated.

  • 224.
    Curuklu, Baran
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    A Canonical Model of the Primary Visual Cortex2005Doktoravhandling, med artikler (Annet vitenskapelig)
    Abstract [sv]

    Ny datormodell visar hur hjärnan behandlar information

    Baran Çürüklüs forskning handlar om att förstå hur syncentret i hjärnan fungerar. Detta är viktigt för forskningen inom neurovetenskap och artificiell intelligens.

    Under de senaste decennierna har hjärnforskningen visat att olika centra av hjärnbarken hos en och samma art har liknande struktur och att det finns stora likheter mellan olika arters hjärnbark. Dessa resultat tyder också på att nerv cellerna använder ett universellt språk när de kommunicerar med varandra. Dessutom verkar det finns generella regler som kan förklara hur hjärnan utvecklas och får sin slutliga form. En direkt konsekvens av dessa hypoteser är att Baran Çürüklüs forskning på syncentret kan ha stor inverkan på forskning på andra delar av hjärnan.

    Syncentret är den del av hjärnbarken som tar emot de inkommande signaler från ögat. Syncentret är en mycket viktig del av hjärnan och innehåller uppskattningsvis 40 % av hjärnbarkens nerv celler. Baran Çürüklü har i detalj kartlagt svarsegenskaperna hos nerv cellerna i den primära visuella hjärnbarken under hjärnans utvecklingsförlopp. Detta arbete bygger på upptäckten av Hubel och Wiesel om att nerv cellerna i den primära visuella hjärnbarken reagerar på kontrastkanter. Deras forskning har resulterat i feedforward modellen som är en viktig del av arbetet som har gett dem Nobelpriset i fysiologi/medicin (1981).

    Trots att denna modell har varit den mest refererade modellen i litteraturen så återstår fortfarande mycket forskning för att förstå nerv cellernas svarsegenskaper. Baran Çürüklüs modell kompletterar feedforward-modellen genom att bl.a. förklara hur hjärnan kan känna igen former under olika kontrastförhållanden. Modellen visar också hur omgivningen inverkar på syncentrets utvecklingsförlopp.

  • 225.
    Curuklu, Baran
    et al.
    Mälardalens högskola, Institutionen för datavetenskap och elektronik.
    Lansner, Anders
    Royal Institute of Technology, Sweden.
    A Model of the Summation Pools within the Layer 4 (Area 17)2005Inngår i: Neurocomputing, ISSN 0925-2312, E-ISSN 1872-8286, Vol. SPEC. ISS, s. 167-172Artikkel i tidsskrift (Annet vitenskapelig)
    Abstract [en]

    We propose a developmental model of the summation pools within the layer 4. The model is based on the modular structure of the neocortex and captures some of the known properties of layer 4. Connections between the orientation minicolumns are developed during exposure to visual input. Excitatory local connections are dense and biased towards the iso-orientation domain. Excitatory long-range connections are sparse and target all orientation domains equally. Inhibition is local. The summation pools are elongated along the orientation axis. These summation pools can facilitate weak and poorly tuned LGN input and explain improved visibility as an effect of enlargement of a stimulus.

  • 226.
    Cârlan, C.
    et al.
    fortiss GmbH, Munich, Germany.
    Gallina, Barbara
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Kacianka, S.
    Technische Universität München, Garching, Germany.
    Breu, R.
    Institut für Informatik, Innsbruck, Austria.
    Arguing on software-level verification techniques appropriateness2017Inngår i: Lect. Notes Comput. Sci., Springer Verlag , 2017, s. 39-54Konferansepaper (Fagfellevurdert)
    Abstract [en]

    In this paper, we investigate the pondered selection of innovative software verification technology in the safety-critical domain and its implications. Verification tools perform analyses, testing or simulation activities. The compliance of the techniques implemented by these tools to fulfill standard-mandated objectives (i.e., to be means of compliance in the context of DO-178C and related supplements) should be explained to the certification body. It is thereby difficult for practitioners to use novel techniques, without a systematic method for arguing their appropriateness. Thus, we offer a method for arguing the appropriate application of a certain verification technique (potentially in combination with other techniques) to produce the evidence needed to satisfy certification objectives regarding fault detection and mitigation in a realistic avionics application via safety cases. We use this method for the choice of an appropriate compiler to support the development of a drone.

  • 227.
    Dagerman, Björn
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Semantic Analysis of Natural Language and Definite Clause Grammar using Statistical Parsing and Thesauri2013Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
    Abstract [en]

    Services that rely on the semantic computations of users’ natural linguistic inputs are becoming more frequent. Computing semantic relatedness between texts is problematic due to the inherit ambiguity of natural language. The purpose of this thesis was to show how a sentence could be compared to a predefined semantic Definite Clause Grammar (DCG). Furthermore, it should show how a DCG-based system could benefit from such capabilities.

    Our approach combines openly available specialized NLP frameworks for statistical parsing, part-of-speech tagging and word-sense disambiguation. We compute the semantic relatedness using a large lexical and conceptual-semantic thesaurus. Also, we extend an existing programming language for multimodal interfaces, which uses static predefined DCGs: COactive Language Definition (COLD). That is, every word that should be acceptable by COLD needs to be explicitly defined. By applying our solution, we show how our approach can remove dependencies on word definitions and improve grammar definitions in DCG-based systems.

    Fulltekst (pdf)
    fulltext
  • 228.
    Dahlberg, Leslie
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Evolutionary Computation in Continuous Optimization and Machine Learning2017Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
    Abstract [en]

    Evolutionary computation is a field which uses natural computational processes to optimize mathematical and industrial problems. Differential Evolution, Particle Swarm Optimization and Estimation of Distribution Algorithm are some of the newer emerging varieties which have attracted great interest among researchers. This work has compared these three algorithms on a set of mathematical and machine learning benchmarks and also synthesized a new algorithm from the three other ones and compared it to them. The results from the benchmark show which algorithm is best suited to handle various machine learning problems and presents the advantages of using the new algorithm. The new algorithm called DEDA (Differential Estimation of Distribution Algorithms) has shown promising results at both machine learning and mathematical optimization tasks. 

    Fulltekst (pdf)
    fulltext
  • 229.
    Dahlin, Peter
    Mälardalens högskola, Akademin för ekonomi, samhälle och teknik, Industriell ekonomi och organisation.
    Addressing the Variety and Changeability of Big Data2018Konferansepaper (Fagfellevurdert)
  • 230.
    Dahlin, Peter
    Mälardalens högskola, Akademin för ekonomi, samhälle och teknik, Industriell ekonomi och organisation.
    Approaches to Using Big Data for Business Analysis2019Konferansepaper (Fagfellevurdert)
  • 231.
    Dahlin, Peter
    et al.
    Mälardalens högskola, Akademin för ekonomi, samhälle och teknik, Industriell ekonomi och organisation. Jönköping International Business School, Sweden.
    Ekman, PeterMälardalens högskola, Akademin för ekonomi, samhälle och teknik, Industriell ekonomi och organisation.
    Management and information technology: challenges for the modern organization2012Collection/Antologi (Annet vitenskapelig)
  • 232.
    Dahlquist, Erik
    Mälardalens högskola, Akademin för hållbar samhälls- och teknikutveckling.
    PROCEEDINGS FROM SCIENTIFIC CONFERENCE ON GREEN ENERGY AND IT2008Konferanseproceedings (Annet vitenskapelig)
    Abstract [en]

    Scientific session on Energy saving and Green energy

    Chairman: Erik Dahlquist, Mälardalen University

    1. Investigations on CO2 absorption using amine solvents in hollow fiber membrane contactors by experiments .

    Yuexia Lv1, Xinhai Yu1*, Shan-tung Tu1, J. Yan2, E. Dahlquist2,School of Mechanical and Power Engineering, East China University of Science and Technology, Shanghai, 200237, China; 2. Dept. IST, Mälardalen University, Västerås, Sweden

    2. Intensification of transesterification for synthesis of biodiesel using microchannel reactors.

    Zhenzhong Wen1, Xinhai Yu1*, Shan-tung Tu1, J. Yan2, E. Dahlquist2 1. School of Mechanical and Power Engineering, East China University of Science and Technology, Shanghai, 200237, China; 2. Dept. IST, Mälardalen University, Västerås

    3. Continuous bioethanol production by fermentation

    . Bernt Lie, Juan I. Videla.Telemark University College, Porsgrunn, Norway

    4. Optimization and Economic Analysis of Marnoch Thermal Energy Conversion System,

    C.C. Chukwu1, G.F Naterer2, M.A. Rosen3, E. Dahlquist4 I.A Marnoch5 ,1,2,3,4 University of Ontario Institute of Technology, Oshawa. Ontario, Canada, 4 Malardalen University, Vasteras Sweden, 5 Marnoch Thermal Power Inc. Toronto, Ontario, Canada,

    5. Analysis of the coal based polygeneration system of hybrid type

    Guoqiang Zhang1,2, Lin GAO1, Hongguang JIN1,* 1 Institute of Engineering Thermophysics, Chinese Academy of Sciences

    6. Power transformer parameters identification using extended kalman filter

    Kourosh Mousavi Takami, TDI researcher and phd student in Malardalen University , Jafar Mahmoudi , Erik Dahlquist, Malardalen University

    7. An advanced energy saving method for Aluminium - iron - copper bonding using explosive welding

    Scientific session on Energy savings in houses

    Chairman: Jurek Pyrko, Lund University

    . Mohammad Tabatabaee. TDI institute, Teheran, Iran and Mälardalen University

    8. Design of hot water user profiles for Swedish households based on time diaries.

    751 21 Uppsala, Sweden

    Magdalena Lundh, Ewa Wäckelgård, Kajsa Ellegård. Department of Engineering Sciences The Ångström Laboratory Box 534

    9. Modeling Household Electricity Load from Time-Use Data

    . Joakim Widén, Kajsa Ellegård och Ewa Wäckelgård. Department of Engineering Sciences,Solid State Physics,Uppsala University

    10. Investigation of electricity consumption in single houses with electrical heating alone and together with complementary heating systems

    . Cajsa Bartusch, Fredrik Wallin, Erik Dahlquist, Mälardalen University.

    11. Differences in electricity and hot water consumption in apartments of different sizes.

    Iana Vassileva, Cajsa Bartusch, Erik Dahlquist. Mälardalen University.

    12. Novel Architect Designs Energy-Saving Iranian Homes

    . S.M. Esmail Mousavi-Takami, TDI Technical Development Institute, Teheran, Iran

    13. Inform me please! - Energy use information to households and Demand Response

    . Jurek Pyrko, Energy Sciencees, Lunds University

    14. "Consumers, energy and IT. IT and other tools to support efficient energy consumption"

    I.C. MariAnne Karlsson Chalmers University of Technology, Product and Production Development

    15. Influence of Residential Ventilation on Radon Mitigation with Energy Saving emphasis

    Keramatollah Akbari, Mälardalen University and TDI in Teheran, Iran

    16

    . Extracting alumina from bauxite ore in jajarm factory process simulation using aspen software

    Mohammad Farrokh and Jafar Mahmoudi, Mälardalen University and TDI in Teheran, Iran

    17. Description of techniques for hot spot monitoring and detection in power transformers

    Hassan gholinejad, Kourosh Mousavi Takami and Jafar Mahmoudi, Mälardalen University and Tanesh Company, Iran

    Fulltekst (pdf)
    FULLTEXT01
  • 233.
    Dahlquist, Erik
    et al.
    Mälardalens högskola, Akademin för hållbar samhälls- och teknikutveckling.
    Hunt, Brian
    Ivergård, Toni
    Chapter 8: Industrial Applications and Case Studies2009Inngår i: Handbook of Control Room Design and Ergonomics: A Perspective for the Future / [ed] Toni Ivergård and Brian Hunt, Taylor & Francis Group, 2009, 2nd, s. 203-226Kapittel i bok, del av antologi (Annet vitenskapelig)
  • 234.
    Dahlquist, Erik
    et al.
    Mälardalens högskola, Akademin för hållbar samhälls- och teknikutveckling.
    Palm, Jenny
    Proceedings of the Scientific Conference on Energy and IT at Alvsjo fair, Stockholm March 11-12, 2009 in connection with the “Energitinget 20092009Collection/Antologi (Annet vitenskapelig)
    Abstract [en]

    Editors: Dahlquist E. and Palm J. 2009 Proceedings of the Scientific Conference on Energy and IT at Alvsjo fair, Stockholm March 11-12, 2009 in connection with the “Energitinget 2009” This is a joint scientific conference on Energy and IT between Mälardalen University and the Research School Program Energy Systems in Cooperation with Swedish Energy Agency. The papers are peer reviewed. ISBN number 978-91-977493-4-3.

    Energy savings potentials and social change in the use of residential electricity

    Mats Bladh,

    Adoption of energy efficiency measures in detached houses: Perception of homeowners

    Giresh Nair, Mid Sweden University

    Households, energy use and scenarios of energy efficiency of everyday life activities

    Anna-Lisa Lindén, Lund University

    The role of energy advisors on adoption of energy efficiency measures in detached houses

    Krushna Mahapatra, Mid Sweden University

    Perceptional and socio-economic factors in adoption of low energy houses

    Krushna Mahapatra, Mid Sweden University

    Consumption patterns today and tomorrow with respect to energy and how the energy

    system will be affected by this

    Iana Vassileva, Malardalen University

    CO2 emissions from general district heat use in Sweden – a method for justified

    comparisons in residential energy use

    Magnus Åberg,

    Applying an interdisciplinary perspective on industrial energy efficiency

    Jenny Palm, Dept. of Technology and Social Change, Linköping University and the national

    research school the Energy system Programme

    Markov-Chain Modelling of High-Resolution Activity ,Patterns and Household Electricity

    Demand

    Joakim Widén, Department of Engineering Sciences.Uppsala University

    From electricity to heat – a discourse analytic policy study of energy conversion at national,

    municipal and household level

    Karin Perman, Energi och Miljöteknik, University College Dalarna

    Case study of mobilized energy storages for distributed heating

    Weilong Wang, Mälardalen University and South China University of Technology

    International Scientific Conference on “Energy systems with IT” in connection with the

    Energiting 2009, March 11

    ‐12 at Älvsjö fair, Stockholm.

    Page 3 of 238

    Bio-refinery system of DME or CH4 production from black liquor gasification in pulp mills

    M Raza, Energy Processes, KTH

    Numerical and experimental study of the inclined free fins applied for thermal management

    Bijan Karimpourian, Malardalen University

    Simulation of ambient temperature effect on large-scale power transformer load ability

    Hasan Gholinejad, Malardalen University

    Process control in steel core production to optimize of power dissipation in electrical

    machines and transformers

    Kourosh Mousavi Takami, TDI, Malardalen University

    Evaluation of magnetic aging in transformers and electrical machines cores during

    operation

    Kourosh Mousavi Takami, TDI, ACECR, Malardalen University

    A simple method for removing leakage of metal pipes, like district heating- and NG pipes

    Mohammad Tabatabaeeghomi, Mälardalen University, Vasteras, Sweden also Technology

    Development Institute (TDI), ACECR, Tehran, Iran

    Modeling of Radon Transport trough Building Materials and ventilation

    Keramatollah Akbari, TDI, ACECR, Malardalen University

    Energy efficient window development – Historical overview of the development of energy

    efficient windows in Sweden

    Bernadett Kiss,

    Fulltekst (pdf)
    FULLTEXT01
  • 235.
    Daneryd, Oscar
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Congestion Management at the Network Edge2014Independent thesis Basic level (university diploma), 10 poäng / 15 hpOppgave
    Abstract [en]

    In the Internet of today there is a demand for both high bandwidth and low delays. Bandwidth-heavy applications such as large downloads or video streaming compete with more delay-sensitive applications; web-browsing, VoIP and video games. These applications represent a growing share of Internet traffic.

    Buffers are an essential part of network equipment. They prevent packet loss and help maintain hight throughput. As bandwidths have increased so have the buffer sizes. In some cases way to much. This, and the fact that Active Queue Management (AQM) is seldom implemented, has given rise to a phenomenon called Bufferbloat.

    Bufferbloat is manifested at the bottleneck of the network path by large flows creating standing queues that choke out smaller, and usually delay-sensitive, flows. Since the bottleneck is often located at the consumer edge, this is where the focus of this thesis lies.

    This work evaluates three different AQM solutions that lower delays without requiring complicated configuration; CoDel, FQ_CoDel and PIE. FQ_CoDel had the best performance in the tests, with the lowest consistent delays and high throughput. This thesis recommends that AQM is implemented at the network edge, preferably FQ_CoDel.

    Fulltekst (pdf)
    Congestion Management at the Network Edge
  • 236.
    Danielsson, Fanny
    Mälardalens högskola, Akademin för innovation, design och teknik.
    NON-CONTACT BASED PERSON’S SLEEPINESS DETECTION USING HEART RATE VARIABILITY2019Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
    Abstract [en]

    Today many strategies of monitoring health status and well-being are done through measurementmethods that are connected to the body, e.g. sensors or electrodes. These are often complicatedand requires personal assistance in order to use, because of advanced hardware and attachmentissues. This paper proposes a new method of making it possible for a user to self-monitoring theirwell-being and health status over time by using a non-contact camera system. The camera systemextracts physiological parameters (e.g. Heart Rate (HR), Respiration Rate (RR), Inter-bit-Interval(IBI)) based on facial color variations, due to blood circulation in facial skin. By examining anindividual’s physiological parameters, one can extract measurements that can be used in order tomonitor their well-being. The measurements used in this paper is features of heart rate variability(HRV) that are calculated from the physiological parameter IBI. The HRV features included andtested in this paper is SDNN, RMSSD, NN50 and pNN50 from Time Domain and VLF, LF andLF/HF from Frequency Domain. Machine Learning classification is done in order to classifyan individual’s sleepiness from the given features. The Machine Learning classification modelwhich gave the best results, in forms of accuracy, were Support Vector Machines (SVM). The bestmean accuracy achieved was 84,16% for the training set and 81,67% for the test set for sleepinessdetection with SVM. This paper has great potential for personal health care monitoring and can befurther extended to detect other factors that could help a user to monitor their well-being, such asmeasuring stress level

    Fulltekst (pdf)
    fulltext
  • 237.
    Danielsson, Jakob
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Comparison study of cross-platform development tools for iPhone devices2014Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
    Abstract [en]

    Developing applications for mobile devices is nowadays a very large business. However, the process of developing an application can be both very time consuming and costly due to different languages used for different devices. Lately, a lot of tools have been developed to handle the different languages problem going under the name “cross-platform” - so many that it might get hard for the developer to make a choice between the different products. This thesis presents 4 different approaches for programming cross-platform applications: Web based, cross-compiled, interpreted and hybrid solutions. For each category, one product is chosen and is evaluated according to comparison tests suggested in the thesis, including benchmark tests, technical evaluation tests seen from both the developing perspective and the infrastructure perspective and last a functionality evaluation. Other important parameters to think about when developing an application are also presented. At the end of the thesis, a taxonomy of applications is presented in order to give examples when a cross-platform solution is suitable and which cross-platform tool should be used. Finally, there are some important points taken up about what the developer should think about, when choosing a solution according to this thesis as there is no straight forward way to say that one cross-platform solution is the best of them all.

    Fulltekst (pdf)
    fulltext
  • 238.
    Danielsson, Stefan
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Investigation of feature selection optimization for EEG signal analysis for monitoring a driver2015Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
    Abstract [en]

    Electroencephalogram (EEG) is a well known, and well used method for studying brain activity, and it's possibilities have lately stretched into the car industry, were it's capabilities of detecting sleepiness in drivers are currently being put to the test. When performing EEG signal analysis on the brain, standardized signal bands exists that are characteristic to specific states of mind, such as when a driver is feeling sleepy. However, EEG as a method for studying the brain has major problems. The signal contains a lot of information that can be redundant or irrelevant, and the result is easily influenced and deviant by other parameters, that can cause incorrectness and inaccuracy in the final prediction and classification of the signal frame. One of the important methods for reducing this inaccuracy of EEG, and also reducing the computational cost of the diagnose, is feature selection. Finding key features in the signal, that can support a reliable diagnosis of a specific state of mind, is of great importance. Especially since learning systems, incorrectly predicting or interpreting a signal in the classification stage, can lead to incorrect triggering of safety features in futuristic cars, such as cruiser control. There are many existing feature selection algorithms available, and features that has been tried in different research project. The goal of this research was to help gather more accurate inputs from EEG, through an optimization study, and to increase the reliability of EEG. And by doing so, hopefully improve safety systems in cars, that in turn could help preventing sleepiness-related accidents on roads in the future. This was realized through a study of features, and feature selection algorithms. By determining key features that could distinguish sleepiness from a signal, as well as performing accuracy tests for different feature selection algorithms, the motivation for an optimal selection, based on the used parameters, could be made. However limited this research was, it concluded that Information Gain as a method for selecting features, was the most accurate algorithm, and that some features were better to use then others, such as Huguchi's fractal dimension, and the Hjorth complexity.

    Fulltekst (pdf)
    fulltext
  • 239.
    Danish, Muhammad Rafique
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Khan, Sajjad Ali
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Component Repository Browser2010Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [en]

    The main goal of this thesis is to investigate efficient searching mechanisms for searching and retrieving software components across different remote repositories and implement a supporting prototype called “Component Repository Browser” using the plug-in based Eclipse technology for PROGRESS-IDE. The prototype enables users to search the ProCom components and to import the desired components from a remote repository server over different protocols such as HTTP, HTTPS, and/or SVN. Several component searching mechanisms and suggestions were studied and examined such as keyword, facet-based search, folksonomy classification, and signature matching, from which we selected keyword search along with facet-based searching technique to help component searchers to efficiently find the desired components from a remote repository.

    Fulltekst (pdf)
    Component Repository Browser
  • 240.
    Danturthi, Sreedhar
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Comparative Study of Web Application Development with SQL Server and Db4o2011Independent thesis Advanced level (degree of Master (One Year)), 20 poäng / 30 hpOppgave
    Abstract [en]

    This thesis work is a comparative study of technical features between three distinctivemethods for database access. A web store which offers software components to download,for registered users has been built with three different database access methods to drawcomparisons.

    1. SQL Server 2005 with stored procedures

    2. LINQ to SQL

    3. Db4o

    Working in Visual Studio with three different methods for database access was not difficult.SQL Server with Stored procedures is efficient in performance and offers maintainability ofthe database access logic. LINQ to SQL makes queries to database as first-class languageconstruct providing type-safety and Intellisense. LINQ to SQL has relatively lowperformance compared to Stored procedures because of the translation of LINQ queries toSQL Queries to communicate with the database. Db4o solves the problem of impedancemismatch and making the development of Database model much simpler and similar to theapplication domain model. Although Db4o has its own drawbacks with database size andconcurrency. Db4o can be considered as an alternative to Relational Database ManagementSystems. Db4o works particularly well with applications which have a small data footprint.

    Fulltekst (pdf)
    ThesisReport
  • 241.
    Dastani, M.
    et al.
    Utrecht University, Utrecht, Netherlands.
    Sirjani, Marjan
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Preface2017Inngår i: Lect. Notes Comput. Sci., Springer Verlag , 2017Konferansepaper (Fagfellevurdert)
  • 242.
    De Andrade, Hugo
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Federal University of Bahia, Av. Adhemar de Barros, Salvador, Brazil .
    Almeida, E.
    Federal University of Bahia, Av. Adhemar de Barros, Salvador, Brazil .
    Crnkovic, Ivica
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Architectural bad smells in Software Product Lines: An exploratory study2014Inngår i: ACM International Conference Proceeding Series, 2014, s. Article number 12-Konferansepaper (Fagfellevurdert)
    Abstract [en]

    The Software Product Lines (SPL) paradigm has arisen for taking advantage of existing common aspects between different products, while also considering product-specific features. The architecture of a SPL comprises a model that will result in product architectures, and may include solutions leading to bad (architectural) design. One way to assess such design decisions is through the identification of architectural bad smells, which are properties that prejudice the overall software quality, but are not necessarily faulty or errant.Inthis paper, we conduct an exploratory study that aims at characterizing bad smells in the context of product line architectures. We analyzed an open source SPL project and extracted its architecture to investigate the occurrence or absence of four smells initially studied in single systems. In addition, we propose a smell specific to the SPL context and discuss possible causes and implications of having those smells in the architecture of a product line. The results indicate that the granularity of the SPL features may influence on the occurrence of smells.

  • 243.
    de Gooijer, Thijmen
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Performance Modeling of ASP.Net Web Service Applications: an industrial case study2011Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [en]

    During the last decade the gap between software modeling and performancemodeling has been closing. For example, UML annotations have been developed to enable the transformation of UML software models to performance models, thereby making performance modeling more accessible. However, as of yet few of these tools are ready for industrial application. In this thesis we explorer the current state of performance modeling tooling, the selection of a performance modeling tool for industrial application is described and a performance modeling case study on one of ABB's remote diagnostics systems (RDS) is presented. The case study shows the search for the best architectural alternative during a multi-million dollar redesign project of the ASP.Net web services based RDS back-end. The performance model is integrated with a cost model to provide valuable decision support for the construction of an architectural roadmap. Despite our success we suggest that the stability of software performance modeling tooling and the semantic gap between performance modeling and software architecture concepts are major hurdles to widespread industrial adaptation. Future work may use the experiences recorded in this thesis to continue improvement of performance modeling processes and tools for industrial use.

    Fulltekst (pdf)
    TdeGooijer_PerformanceModeling.pdf
  • 244. De Nicola, Giuseppe
    et al.
    Flammini, Francesco
    CPS.
    Mazzocca, Nicola
    Orazzo, Antonio
    Model-based functional verification & validation of complex train control systems: an on-board system testing case-study2005Inngår i: Archives of Transport, ISSN 0866-9546, Vol. 17, nr 3-4, s. 163-176Artikkel i tidsskrift (Fagfellevurdert)
  • 245.
    Degerfält, Per
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Strömberg, Niklas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Programmering av styrning av tvättarm på tvättrobot.2008Independent thesis Advanced level (degree of Magister), 20 poäng / 30 hpOppgave
    Abstract [en]

    Ramsta Robotics är ett företag som ligger i Uppsala. Företaget grundades 1999 av tre uppfinnare. Man har utvecklat en robot, som används för att göra rent i djurstallar. Tvättarbetet har hittills gjorts helt manuellt med högtryckstvätt. I framför allt svinhus är

    arbetsmiljön direkt hälsovådlig – bland annat på grund av alla de kväveföreningar som löses ut när vattnet blöter upp anläggningen. Principen för roboten är att man lär den genom att med en styrpanel styra en arm så att alla ytor i boxen blir besprutad med högtryckstvätten minst en gång. Hela förloppet spelas in, och sedan kan roboten spela upp programmet flera gånger, och på det sättet kan roboten på egen hand göra rent i ett antal boxar, som står efter varandra.

    Affärsidén har varit att utveckla en prisvärd robot där datastödet utgörs av ett enkelt styr- och reglersystem för industrin, en s.k. PLC. Den styr via ett drivkort 5-6 motorer, dock bara en motor i taget. Den traditionella robotteknikens komplexa mekanik och höga prisnivåer gör det direkt omöjligt att sätta in denna teknikplattform i jordbrukssammanhang. Kraven på en tvättrobot när det gäller mikrometerprecision och hastighet är heller inte lika hög som hos mer traditionella robotar.

    Idag säljs detta system i ett flertal länder i Europa och också i Kanada. Hittills har c:a 150 robotar sålts, de flesta för att användas i svinproduktion men även fågel produktion och annan

    industri har visat sig vara en marknad. C:a 100 maskiner är sålda i Sverige som representerar c:a 0,3 % av världens produktion av fläskkött. Eftersom Sverige är en så liten marknad i agrara sammanhang är verksamheten idag främst inriktad på export. Verksamheten är expanderande och företaget sysselsätter idag 4 personer på kontoret i Uppsala förutom tillverkning och service som köps externt. Omsättningen 2005 var c:a 8 milj. kronor och beräknas för 2006 närma sig 15 milj.

    I samarbete med Robotdalen kommer fem olika examensarbeten på Mälardalens högskola att ge ett ökat tekniskt innehåll i företagets olika lösningar.

    Projektbeskrivning:

    Med individuella styrkort på respektive motor är det möjligt att använda en helt annan teknik för styrningen av motorerna på robotarmen. Man kan gå från att styra respektive led till att

    utnyttja invers kinematik, och användaren styr var munstycket ska vara beläget, och styrprogrammet omvandlar den önskade positionen till vinklar och lägen för respektive led.

    Att bygga ett komplett styrsystem kan vara ganska omfattande, men avsikten med detta examensarbete är att göra en första version av styrprogram, där användaren kanske kör fram armen till en punkt på en yta som ska tvättas, och sedan till en andra punkt, till en tredje.

    Dessa tre punkter definierar en triangel på samma sätt som man bygger upp ytor i OpenGL.

    En fjärde punkt ger med punkterna två och tre ytterligare en triangel. När sedan en hel yta har ’ritats upp’ (för en rak rektangel är det endast två trianglar) ska programmet kunna styra ut

    robotarmens rörelsemönster.

    Fulltekst (pdf)
    FULLTEXT01
  • 246.
    Dehnavi, S.
    et al.
    School of ECE, College of Engineering, University of Tehran, Iran; School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden.
    Sedaghatbaf, Ali
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Salmani, B.
    Department of Informatik, RWTH-Aachen University, Germany.
    Sirjani, Marjan
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Kargahi, M.
    School of ECE, College of Engineering, University of Tehran, Iran.
    Khamespanah, E.
    School of ECE, College of Engineering, University of Tehran, Iran; School of Computer Science, Reykjavik University, Iceland.
    Towards an actor-based approach to design verified ROS-based robotic programs using rebeca2019Inngår i: Procedia Computer Science, Elsevier B.V. , 2019, Vol. 155, s. 59-68Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Robotic technology helps humans in different areas such as manufacturing, health care and education. Due to the ubiquitous revolution, today's focus is on mobile robots and their applications in a variety of cyber-physical systems. ROS is a wll-known and powerful middleware that facilitates software development for mobile robots. However, this middleware does not support assuring properties such as timeliness and safety of ROS-based software. In this paper we present an integration of Timed Rebeca modeling language with ROS to synthesize verified robotic software. First, a conceptual model of robotic programs is developed using Timed Rebeca. After verifying a set of user-defined correctness properties on this model, it is translated to a ROS program automatically. Experiments on some small-scale case studies illustrates the applicability of the proposed integration method. 

  • 247.
    Delight, Björn
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Optimizing the executiontime o fSQLite on an ABB robot controller2013Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
    Abstract [en]

    The purpose of this thesis is to generate a set of general guidelines to improve performance of the SQLite database management system for use as a component in the main computer of ABB industrial robots. This was accomplished by measuring the factors that affect query execution time and comparing SQLite features to systems it could potentially replace: chiefly ABB’s configuration storage system and real-time logging system. Results show that SQlite is slower than ABBs current configuration system and real-time logger. A series of tests were carried out that give a rough description of SQLites performance. Read and update become significantly faster when used with an index, write becomes a bit slower. In an indexed database the number of rows is not important; in a database without an index they cause significant slowing. Surprisingly, increasing the number of threads concurrently accessing a database had only a mild effect on timing.

    Fulltekst (pdf)
    fulltext
  • 248.
    Dersten, Sara
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Towards a guideline for refactoring of embedded systems2012Licentiatavhandling, med artikler (Annet vitenskapelig)
    Abstract [en]

    The electronics in automotive systems give great possibilities. It has contributed to environmental improvements through reduced emissions and reduced fuel consumption, safety, driver assistance, and quality through better diagnostic capabilities.

    Automotive systems are today distributed embedded systems that consist of several nodes that communicate with each other. The increasing possibilities have led to a situation where functions that used to be stand-alone, are today dependent on several inter-connected systems which all contribute to the desired functionality. This has increased the costs and the complexity to deal with the systems.

    The automotive industry is adopting a new open software architecture, called AUTOSAR, that is intended to reduce the complexity. AUTOSAR also gives possibilities for coping with large product ranges and for component sharing. The introduction of AUTOSAR is an example of an architecture change without modifying the external functionality. We have chosen to call such changes system refactoring.

    However, if the introduction of AUTOSAR is not successfully performed, there are risks for delayed development projects, which are costly for the automotive companies. Unfortunately, existing engineering standards and literature focus mostly on new product development and less on system re-factoring, and this gap needs to be filled. The goal of this research is to provide guidelines for refactoring, which provides support throughout the complete process of system architects in efforts to refactor the system.

    This thesis identifies the characteristics of refactoring processes. This is done by empirical studies of the drivers behind refactoring, the effects we can expect from refactoring, and the process activities and characteristics. The result can be used to create guidelines for improving the work of refactoring.

    Fulltekst (pdf)
    fulltext
  • 249.
    Dersten, Sara
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Axelsson, Jakob
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Fröberg, Joakim
    Mälardalens högskola, Akademin för innovation, design och teknik.
    An empirical study of refactoring decisions in embedded software and systems2012Inngår i: Procedia Computer Science, ISSN 1877-0509, E-ISSN 1877-0509, Vol. 8, s. 279-284Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    This paper describes an empirical study of decision-making when changing the architecture in embedded systems. A refactoring of the system architecture often gives effects on both system properties and functions in the company organization, and there is a lack of efficient analysis methods for decision support in the system architecture process. This study investigates the information needed to make a decision about a system refactoring. Scenario-based interviews have been conducted with managers and system architects from companies developing embedded systems. The results show that the companies investigate similar issues regardless of their industry sector. The most wanted information prior to a decision is also presented.

  • 250.
    Dersten, Sara
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Axelsson, Jakob
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Fröberg, Joakim
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Characteristics of a System Refactoring Process in Embedded Systems Development2012Konferansepaper (Fagfellevurdert)
2345678 201 - 250 of 1067
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf