SwePub
Tyck till om SwePub Sök här!
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Bures Tomás) "

Sökning: WFRF:(Bures Tomás)

  • Resultat 1-10 av 29
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • 7th IEEE International Conference on  Software Engineering (ICSE), 2015 IEEE/ACM 3 (Volume:2 )
  • 2015
  • Proceedings (redaktörskap) (refereegranskat)abstract
    • Cyber-physical system (CPS) have been recognized as a top-priority in research and development. The innovations sought for CPS demand them to deal effectively with dynamicity of their environment, to be scalable, adaptive, tolerant to threats, etc. -- i.e. they have to be smart. Although approaches insoftware engineering (SE) exist that individually meet these demands, their synergy to address the challenges of smart CPS (sCPS) in a holistic manner remains an open challenge. The workshop focuses on software engineering challenges for sCPS. The goals are to increase the understanding of problems of SE for sCPS, study foundational principles for engineering sCPS, and identify promising SE solutions for sCPS. Based on these goals, the workshop aims to formulate a research agenda for SE of sCPS.
  •  
2.
  • Ahmed, Bestoun S., 1982-, et al. (författare)
  • Aspects of Quality in Internet of Things (IoT) Solutions : A Systematic Mapping Study
  • 2019
  • Ingår i: IEEE Access. - : IEEE. - 2169-3536. ; 7, s. 13758-13780
  • Tidskriftsartikel (refereegranskat)abstract
    • Internet of Things (IoT) is an emerging technology that has the promising power to change our future. Due to the market pressure, IoT systems may be released without sufficient testing. However, it is no longer acceptable to release IoT systems to the market without assuring the quality. As in the case of new technologies, the quality assurance process is a challenging task. This paper shows the results of the first comprehensive and systematic mapping study to structure and categories the research evidence in the literature starting in 2009 when the early publication of IoT papers for IoT quality assurance appeared. The conducted research is based on the most recent guidelines on how to perform systematic mapping studies. A set of research questions is defined carefully regarding the quality aspects of the IoT. Based on these questions, a large number of evidence and research papers is considered in the study (478 papers). We have extracted and analyzed different levels of information from those considered papers. Also, we have classified the topics addressed in those papers into categories based on the quality aspects. The study results carry out different areas that require more work and investigation in the context of IoT quality assurance. The results of the study can help in a further understanding of the research gaps. Moreover, the results show a roadmap for future research directions.
  •  
3.
  • Bures, Miroslav, et al. (författare)
  • Testing the consistency of business data objects using extended static testing of CRUD matrices
  • 2019
  • Ingår i: Cluster Computing. - : Springer-Verlag New York. - 1386-7857 .- 1573-7543. ; 22, s. 963-976
  • Tidskriftsartikel (refereegranskat)abstract
    • Static testing is used to detect software defects in the earlier phases of the software development lifecycle, which makes the total costs caused by defects lower and the software development project less risky. Different types of static testing have been introduced and are used in software projects. In this paper, we focus on static testing related to data consistency in a software system. In particular, we propose extensions to contemporary static testing techniques based on CRUD matrices, employing cross-verifications between various types of CRUD matrices made by different parties at various stages of the software project. Based on performed experiments, the proposed static testing technique significantly improves the consistency of Data Cycle Test cases. Together with this trend, we observe growing potential of test cases to detect data consistency defects in the system under test, when utilizing the proposed technique.
  •  
4.
  • Bures, Tomas, et al. (författare)
  • A Component Model Family for Vehicular Embedded Systems
  • 2008
  • Ingår i: The 3rd International Conference on Software Engineering Advances, ICSEA 2008, Includes ENTISY 2008: International Workshop on Enterprise Information Systems. - 9780769533728 ; , s. 437-444
  • Konferensbidrag (refereegranskat)abstract
    • In this paper we propose to use components for managingthe increasing complexity in modern vehicular systems.Compared to other approaches, the distinguishingfeature of our work is using and benefiting from componentsthroughout the development process from early designto development and deployment, and an explicit separationof concerns at different levels of granularity. Basedon the elaboration of the specifics of vehicular systems (resourceconstraints, real-time requirements, hard demandson reliability), the paper identifies concerns that need to beaddressed by a component model for this domain, and describesa realization of such a component model.
  •  
5.
  •  
6.
  • Bures, Tomas, et al. (författare)
  • Progress Component Model Reference Manual - version 0.5
  • 2008
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • This report describes the component model developed within PROGRESS. In addition to defining the syntax and semantics, it also gives some background and motivation, and describes how this work relates to the overall PROGRESS vision and to the work in other areas of the project.
  •  
7.
  • Bures, Tomas, et al. (författare)
  • Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda : Report on the First International Workshop on Software Engineering for Smart CPS
  • 2015
  • Ingår i: Software Engineering Notes. - : ACM Press. - 0163-5948 .- 1943-5843. ; 40:6, s. 28-32
  • Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
    • Cyber-Physical Systems (CPS) are large interconnected softwareintensivesystems that influence, by sensing and actuating, thephysical world. Examples are traffic management and power grids.One of the trends we observe is the need to endow such systemswith the “smart” capabilities, typically in the form of selfawarenessand self-adaptation, along with the traditional qualitiesof safety and dependability. These requirements combined withspecifics of the domain of smart CPS – such as large scale, the roleof end-users, uncertainty, and open-endedness – render traditionalsoftware engineering (SE) techniques not directly applicable; makingsystematic SE of smart CPS a challenging task. This paperreports on the results of the First International Workshop on SoftwareEngineering of Smart Cyber-Physical Systems (SEsCPS2015), where participants discussed characteristics, challenges andopportunities of SE for smart CPS, with the aim to outline anagenda for future research in this important area.
  •  
8.
  •  
9.
  • Bures, Tomas, et al. (författare)
  • Towards Component Modelling of Embedded Systems in the Vehicular Domain
  • 2008
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • The complexity of software and electronics in vehicular systems has increased significantly over last few years - up to the point when it is difficult to manage it with existing development methods. In this paper we aim at using components for managing the complexity in vehicular systems. Compared to other approaches, the distinguishing feature of our work is using and benefiting from components throughout the whole development process (from early design to development and deployment). Based on the elaboration of the specifics of vehicular systems (resource constraints, real-time requirements, hard demands on reliability), the paper identifies concerns that need to be addressed by a component model for this domain. It also outlines basic features and characteristics of such a component model and discusses how relevant existing formalisms and component models relate to it and how they could be reused within the proposed approach. 
  •  
10.
  • Campeanu, Gabriel, 1982- (författare)
  • GPU Support for Component-based Development of Embedded Systems
  • 2018
  • Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
    • One pressing challenge of many modern embedded systems is to successfully deal with the considerable amount of data that originates from the interaction with the environment. A recent solution comes from the use of GPUs. Equipped with a parallel execution model, the GPU excels in parallel processing applications, providing an improved performance compared to the CPU.Another trend in the embedded systems domain is the use of component-based development. This software engineering paradigm that promotes construction of applications through the composition of software components, has been successfully used in the development of embedded systems. However, the existing approaches provide no specific support to develop embedded systems with GPUs. As a result, components with GPU capability need to encapsulate all the required GPU information in order to be successfully executed by the GPU. This leads to component specialization to specific platforms, hence drastically impeding component reusability.Our main goal is to facilitate component-based development of embedded systems with GPUs. We introduce the concept of flexible component which increases the flexibility to design embedded systems with GPUs, by allowing the system developer to decided where to place the component, i.e., either on the CPU or GPU. Furthermore, we provide means to automatically generate the required information for flexible components corresponding to their hardware placement, and to improve component communication. Through the introduced support, components with GPU capability are platform-independent, being capable to be executed on a large variety of hardware (i.e., platforms with different GPU characteristics). Furthermore, an optimization step is introduced, which groups connected flexible components into single entities that behave as regular components. Dealing with components that can be executed either by the CPU or GPU, we also introduce an allocation optimization method. The proposed solution, implemented using a mathematical solver, offers alternative options in optimizing particular system goals (e.g., memory and energy usage).
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 29
Typ av publikation
tidskriftsartikel (13)
konferensbidrag (9)
rapport (3)
proceedings (redaktörskap) (1)
doktorsavhandling (1)
bokkapitel (1)
visa fler...
licentiatavhandling (1)
visa färre...
Typ av innehåll
refereegranskat (21)
övrigt vetenskapligt/konstnärligt (8)
Författare/redaktör
Bures, Tomás (21)
Weyns, Danny (9)
Gerostathopoulos, Il ... (7)
Carlson, Jan (6)
Crnkovic, Ivica (4)
Sentilles, Séverine (4)
visa fler...
Vulgarakis, Aneta (4)
Pelliccione, Patrizi ... (3)
Koupil, Ilona (3)
Ahmed, Bestoun S., 1 ... (3)
Bures, Miroslav (3)
Frajtak, Karel (3)
Cerny, Tomas (3)
Seifert, Bohumil (3)
Calinescu, Radu (3)
Biffl, Stefan (3)
Musil, Juergen (3)
Musil, Angelika (3)
Abbas, Nadeem, 1980- (2)
Andersson, Jesper, 1 ... (2)
Pelliccione, Patrizi ... (2)
Sentilles, Séverine, ... (2)
Garlan, David (2)
Klein, Mark (1)
Haber, Rodolfo E (1)
Hansson, Hans, Profe ... (1)
Muccini, Henry (1)
Berger, Thorsten, 19 ... (1)
Bosch, Jan (1)
Acosta, Maribel (1)
Bjarnason, Elizabeth (1)
Perez-Palacin, Diego (1)
Mirandola, Raffaela (1)
Grassi, Vincenzo (1)
Angelis, Lefteris (1)
Ros, Rasmus (1)
Fitzgerald, Brian (1)
Ruchkin, Ivan (1)
Bennaceur, Amel (1)
Menghi, Claudio, 198 ... (1)
Cámara, Javier (1)
Daun, Marian (1)
Krusche, Stephan (1)
Di Salle, Amleto (1)
Rechtberger, Vaclav (1)
Klima, Matej (1)
Trnka, Michal (1)
Bellekens, Xavier (1)
Berger, Christisian (1)
Gabor, Thomas (1)
visa färre...
Lärosäte
Linnéuniversitetet (9)
Mälardalens universitet (7)
Chalmers tekniska högskola (4)
Stockholms universitet (3)
Karlstads universitet (3)
Karolinska Institutet (2)
visa fler...
Göteborgs universitet (1)
Lunds universitet (1)
Malmö universitet (1)
visa färre...
Språk
Engelska (28)
Tjeckiska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (19)
Teknik (4)
Medicin och hälsovetenskap (3)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy