mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Alternative names
Publications (10 of 23) Show all publications
Lisova, E., Causevic, A., Hänninen, K., Thane, H. & Hansson, H. (2018). A Systematic Way to Incorporate Security in Safety Analysis. In: 3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems CERTS'18: . Paper presented at 3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems CERTS'18, 25 Jun 2018, Luxembourg, Luxemburg. Luxembourg, Luxemburg
Open this publication in new window or tab >>A Systematic Way to Incorporate Security in Safety Analysis
Show others...
2018 (English)In: 3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems CERTS'18, Luxembourg, Luxemburg, 2018Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Luxembourg, Luxemburg: , 2018
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-39268 (URN)
Conference
3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems CERTS'18, 25 Jun 2018, Luxembourg, Luxemburg
Projects
Closing the safety-security gap in software intensive systemsSAFSEC-CPS -- Securing the safety of autonomous cyber-physical systemsSerendipity - Secure and dependable platforms for autonomy
Available from: 2018-05-22 Created: 2018-05-22 Last updated: 2018-05-22
Surkovic, A., Hanic, D., Lisova, E., Causevic, A., Wenslandt, D. & Falk, C. (2018). Towards Attack Models in Autonomous Systems of Systems. In: System of Systems Engineering Conference SoSE 2018: . Paper presented at System of Systems Engineering Conference SoSE 2018, 19 Jun 2018, Paris, France.
Open this publication in new window or tab >>Towards Attack Models in Autonomous Systems of Systems
Show others...
2018 (English)In: System of Systems Engineering Conference SoSE 2018, 2018Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-39264 (URN)
Conference
System of Systems Engineering Conference SoSE 2018, 19 Jun 2018, Paris, France
Projects
SAFSEC-CPS -- Securing the safety of autonomous cyber-physical systemsSeCRA - Security Case Run-Time AdaptationSerendipity - Secure and dependable platforms for autonomy
Available from: 2018-05-23 Created: 2018-05-23 Last updated: 2018-05-23Bibliographically approved
Causevic, A. (2017). A Risk and Threat Assessment Approaches Overview in Autonomous Systems of Systems. In: The 26th International Conference on Information, Communication and Automation Technologies ICAT2017: . Paper presented at The 26th International Conference on Information, Communication and Automation Technologies ICAT2017, 26 Oct 2017, Sarajevo, Bosnia and Herzegovina (pp. 1-6).
Open this publication in new window or tab >>A Risk and Threat Assessment Approaches Overview in Autonomous Systems of Systems
2017 (English)In: The 26th International Conference on Information, Communication and Automation Technologies ICAT2017, 2017, p. 1-6Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37068 (URN)000426931000029 ()2-s2.0-85046810085 (Scopus ID)978-1-5386-3337-3 (ISBN)
Conference
The 26th International Conference on Information, Communication and Automation Technologies ICAT2017, 26 Oct 2017, Sarajevo, Bosnia and Herzegovina
Projects
SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless CommunicationClosing the safety-security gap in software intensive systemsSAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems
Available from: 2017-10-31 Created: 2017-10-31 Last updated: 2018-05-24Bibliographically approved
Lisova, E., Causevic, A., Uhlemann, E. & Björkman, M. (2017). Clock Synchronization Considerations in Security Informed Safety Assurance of Autonomous Systems of Systems. In: IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY: . Paper presented at 43rd Annual Conference of the IEEE Industrial Electronics Society IECON 2017, 30 Oct 2017, Beijing, China (pp. 8385-8390).
Open this publication in new window or tab >>Clock Synchronization Considerations in Security Informed Safety Assurance of Autonomous Systems of Systems
2017 (English)In: IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, p. 8385-8390Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37065 (URN)000427164808040 ()2-s2.0-85046668958 (Scopus ID)978-1-5386-1127-2 (ISBN)
Conference
43rd Annual Conference of the IEEE Industrial Electronics Society IECON 2017, 30 Oct 2017, Beijing, China
Projects
SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless CommunicationSAFSEC-CPS -- Securing the safety of autonomous cyber-physical systems
Available from: 2017-11-07 Created: 2017-11-07 Last updated: 2018-05-24Bibliographically approved
Causevic, A., Fotouhi, H. & Lundqvist, K. (2017). Data Security and Privacy in Cyber-Physical Systems for Healthcare. In: Houbing Song D, Glenn A. Fink PhD, and Sabina Jeschke Dr. rer. nat. (Ed.), Security and Privacy in Cyber-Physical Systems: Foundations, Principles, and Applications (pp. 305-320). Wiley-IEEE Press
Open this publication in new window or tab >>Data Security and Privacy in Cyber-Physical Systems for Healthcare
2017 (English)In: Security and Privacy in Cyber-Physical Systems: Foundations, Principles, and Applications / [ed] Houbing Song D, Glenn A. Fink PhD, and Sabina Jeschke Dr. rer. nat., Wiley-IEEE Press , 2017, p. 305-320Chapter in book (Other academic)
Place, publisher, year, edition, pages
Wiley-IEEE Press, 2017
National Category
Medical Engineering Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37067 (URN)978-1-119-22604-8 (ISBN)
Projects
ESS-H - Embedded Sensor Systems for Health Research Profile
Available from: 2017-10-31 Created: 2017-10-31 Last updated: 2017-10-31Bibliographically approved
Causevic, A., Vahabi, M. & Fotouhi, H. (2017). Enabling Safe, Secure and Reliable Data Communication in IoT AAL Healthcare Applications. In: Medicinteknikdagarna 2017 MTD 2017: . Paper presented at Medicinteknikdagarna 2017 MTD 2017, 09 Oct 2017, Västerås, Sweden.
Open this publication in new window or tab >>Enabling Safe, Secure and Reliable Data Communication in IoT AAL Healthcare Applications
2017 (English)In: Medicinteknikdagarna 2017 MTD 2017, 2017Conference paper, Published paper (Refereed)
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-37040 (URN)
Conference
Medicinteknikdagarna 2017 MTD 2017, 09 Oct 2017, Västerås, Sweden
Projects
ESS-H - Embedded Sensor Systems for Health Research Profileecare@home
Available from: 2017-11-20 Created: 2017-11-20 Last updated: 2017-11-20Bibliographically approved
Fotouhi, H., Causevic, A., Vahabi, M. & Björkman, M. (2016). Interoperability in heterogeneous Low-Power Wireless Networks for Health Monitoring Systems. In: 2016 IEEE International Conference on Communications Workshops, ICC 2016: . Paper presented at 2016 IEEE International Conference on Communications Workshops, ICC 2016, 23 May 2016 through 28 May 2016 (pp. 393-398).
Open this publication in new window or tab >>Interoperability in heterogeneous Low-Power Wireless Networks for Health Monitoring Systems
2016 (English)In: 2016 IEEE International Conference on Communications Workshops, ICC 2016, 2016, p. 393-398Conference paper, Published paper (Refereed)
Abstract [en]

Ensuring interoperability in the future Internet of Things applications can be a challenging task, especially in mission-critical applications such as Health Monitoring Systems. Existing low-power wireless network architectures are designed in isolated networks, and ensure a satisfying level of performance in homogeneous networks. However, with co-existence of different low-power networks, the interoperability related problems arise. To bridge this gap in this paper, we study various protocol stacks (i.e., Bluetooth, Bluetooth Low Energy, IEEE 802.15.4, ZigBee, 6LoWPAN and IEEE 802.15.6), and explain their specific features. Furthermore, we provide a generic protocol stack design that facilitates multiple radios with different protocol stacks, regardless of being IP-based or non-IP-based networks. We see this approach as a possibility to enhance network performance in terms of reliability, timeliness, and security, while providing higher levels of scalability and connectivity.

Keywords
Bluetooth, Internet protocols, Interoperability, Monitoring, Network architecture, Standards, Wireless networks, Bluetooth low energies (BTLE), Different protocols, Health monitoring system, Homogeneous network, Isolated networks, Low Power Networks, Low power wireless networks, Mission critical applications, Low power electronics
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-32519 (URN)10.1109/ICCW.2016.7503819 (DOI)000386326800066 ()2-s2.0-84979743535 (Scopus ID)9781509004485 (ISBN)
Conference
2016 IEEE International Conference on Communications Workshops, ICC 2016, 23 May 2016 through 28 May 2016
Available from: 2016-08-18 Created: 2016-08-18 Last updated: 2018-01-30Bibliographically approved
Ahmed, M. U., Björkman, M., Causevic, A., Fotouhi, H. & Lindén, M. (2015). An Overview on the Internet of Things for Health Monitoring Systems. In: 2nd EAI International Conference on IoT Technologies for HealthCare HealthyIoT2015: . Paper presented at 2nd EAI International Conference on IoT Technologies for HealthCare HealthyIoT2015, 26-27 Oct 2015, Rome, Italy.
Open this publication in new window or tab >>An Overview on the Internet of Things for Health Monitoring Systems
Show others...
2015 (English)In: 2nd EAI International Conference on IoT Technologies for HealthCare HealthyIoT2015, 2015Conference paper, Published paper (Refereed)
Abstract [en]

The aging population and the increasing healthcare cost in hospitals are spurring the advent of remote health monitoring systems. Advances in physiological sensing devices and the emergence of reliable low-power wireless network technologies have enabled the design of remote health monitoring systems. The next generation Internet, commonly referred to as Internet of Things (IoT), depicts a world populated by devices that are able to sense, process and react via the Internet. Thus, we envision health monitoring systems that support Internet connection and use this connectivity to enable better and more reliable services. This paper presents an overview on existing health monitoring systems, considering the IoT vision. We focus on recent trends and the development of health monitoring systems in terms of: (1) health parameters, (2) frameworks, (3) wireless communication, and (4) security issues. We also identify the main limitations, requirements and advantages within these systems.

National Category
Medical Engineering
Identifiers
urn:nbn:se:mdh:diva-30008 (URN)10.1007/978-3-319-47063-4_44 (DOI)000398616500044 ()2-s2.0-85000814807 (Scopus ID)
Conference
2nd EAI International Conference on IoT Technologies for HealthCare HealthyIoT2015, 26-27 Oct 2015, Rome, Italy
Projects
ESS-H - Embedded Sensor Systems for Health Research Profile
Available from: 2015-12-18 Created: 2015-12-18 Last updated: 2017-05-19Bibliographically approved
Čaušević, A. (2014). Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations. (Doctoral dissertation). Västerås: Mälardalen University
Open this publication in new window or tab >>Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations
2014 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

During the past decade service-orientation has become a popular design paradigm, offering an approach in which services are the functional building blocks. Services are self-contained units of composition, built to be invoked, composed, and destroyed on (user) demand. Service-oriented systems (SOS) are a collection of services that are developed based on several design principles such as: (i) loose coupling between services (e.g., inter-service communication can involve either simple data passing or two or more connected services coordinating some activity) that allows services to be independent, yet highly interoperable when required; (ii) service abstraction, which emphasizes the need to hide as many implementation details as possible, yet still exposing functional and extra-functional capabilities that can be offered to service users; (iii) service reusability provided by the existing services in a rapid and flexible development process; (iv) service composability as one of the main assets of SOS that provide a design platform for services to be composed and decomposed, etc. One of the main concerns in such systems is ensuring service quality per se, but also guaranteeing the quality of newly composed services. To accomplish the above, we consider two system perspectives: the developer's and the user's view, respectively. In the former, one can be assumed to have access to the internal service representation: functionality, enabled actions, resource usage, and interactions with other services. In the second, one has information primarily on the service interface and exposed capabilities (attributes/features). Means of checking that services and service compositions meet the expected requirements, the so-called correctness issue, can enable optimization and possibility to guarantee a satisfactory level of a service composition quality. In order to accomplish exhaustive correctness checks of design-time SOS, we employ model-checking as the main formal verification technique, which eventually provides necessary information about quality-of-service (QoS), already at early stages of system development. ~As opposed to the traditional approach of software system construction, in SOS the same service may be offered at various prices, QoS, and other conditions, depending on the user needs. In such a setting, the interaction between involved parties requires the negotiation of what is possible at request time, aiming at meeting needs on demand. The service negotiation process often proceeds with timing, price, and resource constraints, under which users and providers exchange information on their respective goals, until reaching a consensus. Hence, a mathematically driven technique to analyze a priori various ways to achieve such goals is beneficial for understanding what and how can particular goals be achieved.

This thesis presents the research that we have been carrying out over the past few years, which resulted in developing methods and tools for the specification, modeling, and formal analysis of services and service compositions in SOS. The contributions of the thesis consist of: (i)constructs for the formal description of services and service compositions using the resource-aware timed behavioral language called REMES; (ii) deductive and algorithmic approaches for checking correctness of services and service compositions;(iii) a model of service negotiation that includes different negotiation strategies, formally analyzed against timing and resource constraints; (iv) a tool-chain (REMES SOS IDE) that provides an editor and verification support (by integration with the UPPAAL model-checker) to REMES-based service-oriented designs;(v) a relevant case-study by which we exercise the applicability of our framework.The presented work has also been applied on other smaller examples presented in the published papers.

Abstract [sv]

Under det senaste årtiondet har ett tjänstorienterat paradigm blivit allt-mer populärt i utvecklingen av datorsystem. I detta paradigm utgör så kallade tjänster den minsta funktionella systemenheten. Dessa tjänster är konstruerade så att de kan skapas, användas, sammansättas och avslutas separat. De ska vara oberoende av varandra samtidigt som de ska kunna fungera effektivt tillsammans och i samarbete med andra system när så behövs. Vidare ska tjänsterna dölja sina interna implementa-tionsdetaljer i så stor grad som möjligt, samtidigt som deras fulla funktionalitet ska exponeras för systemdesignern. Tjänsterna ska också på ett enkelt sätt kunna återanvändas och sammansättas i en snabb och flexibel utvecklingsprocess.En av de viktigaste aspekterna i tjänsteorienterade datorsystem är att kunna säkerställa systemens kvalitet. För att åstadkomma detta ärdet viktigt att få en djupare insikt om tjänstens interna funktionalitet, i termer av möjliga operationer, resursinformation, samt tänkbar inter-aktion med andra tjänster. Detta är speciellt viktigt när utvecklaren har möjlighet att välja mellan två funktionellt likvärda tjänster somär olika med avseende på andra egenskaper, såsom responstid eller andra resurskrav. I detta sammanhang kan en matematisk beskrivning av en tjänsts beteende ge ökad förståelse av tjänstemodellen, samt hjälpa användaren att koppla ihop tjänster på ett korrekt sätt. En matematisk beskrivning öppnar också upp för ett sätt att matematiskt resonera kring tjänster. Metoder för att kontrollera att komponerade tjänstermöter ställda resurskrav möjliggör också resursoptimering av tjänster samt verifiering av ställda kvalitetskrav.I denna avhandling presenteras forskning som har bedrivits under de senaste åren. Forskningen har resulterat i metoder och verktyg föratt specificera, modellera och formellt analysera tjänster och sammansättning av tjänster. Arbetet i avhandlingen består av (i) en formell definition av tjänster och sammansättning av tjänster med hjälp avett resursmedvetet formellt specifikationsspråk kallat Remes; (ii) två metoder för att analysera tjänster och kontrollera korrektheten i sammansättning av tjänster, både deduktivt och algoritmiskt; (iii) en modell av förhandlingsprocessen vid sammansättning av tjänster som inkluderar olika förhandlingsstrategier; (iv) ett antal verktyg som stödjer dessa metoder. Metoderna har använts i ett antal fallstudier som är presenterade i de publicerade artiklarna.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2014. p. 236
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 147
Keywords
Service-Oriented Systems, Formal modeling and Analysis, Service, Service Composition, Service Negotiation
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-23271 (URN)978-91-7485-128-1 (ISBN)
Public defence
2014-01-15, Pi, Högskoleplan 1, Västerås, 09:00 (English)
Opponent
Supervisors
Projects
Contesse
Funder
Swedish Research Council
Available from: 2013-12-10 Created: 2013-12-09 Last updated: 2018-01-11Bibliographically approved
Enoiu, E. P., Marinescu, R., Causevic, A. & Seceleanu, C. (2013). A Design Tool for Service-oriented Systems. Paper presented at Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). Electronical Notes in Theoretical Computer Science, 295, 95-100
Open this publication in new window or tab >>A Design Tool for Service-oriented Systems
2013 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 295, p. 95-100Article in journal (Other academic) Published
Abstract [en]

In this paper we present a modeling and analysis tool for service-oriented systems. The tool enables graphical modeling of service-based systems, within the resource-aware timed behavioral language Remes, as well as a textual system description. We have developed a graphical environment where services can be composed as desired by the user, together with a textual service composition interface in which compositions can also be checked for correctness. We also provide automated traceability between the two design interfaces, which results in a tool that enhances the potential of system design by intuitive service manipulation. The paper presents the design principles, infrastructure, and the user interface of our tool.

National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-14128 (URN)10.1016/j.entcs.2013.04.008 (DOI)2-s2.0-84877250201 (Scopus ID)
Conference
Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)
Projects
ContesseMBATATAC
Available from: 2012-02-01 Created: 2012-02-01 Last updated: 2018-01-12Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0001-5293-3804

Search in DiVA

Show all publications