Abstract As automated driving techniques are increasingly capturing the market, it is particularly important to consider vital functional properties of these systems. We present an overview of an approach that uses an abstract model to logically reason about properties of autonomous manoeuvres at intersections in urban traffic. The approach introduces automotive-controlling timed automata crossing controllers that use the traffic logic UMLSL (Urban Multi-lane Spatial Logic) to reason about traffic situations. Safety in the context of collision freedom is mathematically proven. Liveness (something good finally happens) and fairness (no queue-jumping) are examined and verified using a model-checking tool for timed automata, UPPAAL.
{"title":"Proving properties of autonomous car manoeuvres in urban traffic","authors":"Maike Schwammberger","doi":"10.1515/itit-2021-0007","DOIUrl":"https://doi.org/10.1515/itit-2021-0007","url":null,"abstract":"Abstract As automated driving techniques are increasingly capturing the market, it is particularly important to consider vital functional properties of these systems. We present an overview of an approach that uses an abstract model to logically reason about properties of autonomous manoeuvres at intersections in urban traffic. The approach introduces automotive-controlling timed automata crossing controllers that use the traffic logic UMLSL (Urban Multi-lane Spatial Logic) to reason about traffic situations. Safety in the context of collision freedom is mathematically proven. Liveness (something good finally happens) and fairness (no queue-jumping) are examined and verified using a model-checking tool for timed automata, UPPAAL.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"253 - 263"},"PeriodicalIF":0.9,"publicationDate":"2021-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47159919","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract Distributed Synthesis is the problem of automatically generating correct controllers for individual agents in a distributed system. Petri games model this problem by a game between two teams of players on a Petri net structure. Under some restrictions, Petri games can be solved by a reduction to a two player game. The concept of symmetries in Petri nets is closely related to high-level representations of Petri games. Applying symmetries to the states in the two-player game results in a significant state space reduction. We give an overview about (high-level) Petri games and the application of symmetries in this setting. We present ongoing work aiming to concisely describe solutions of Petri games by a high-level representation.
{"title":"Exploiting symmetries of high-level Petri games in distributed synthesis","authors":"Nick Würdemann","doi":"10.1515/itit-2021-0012","DOIUrl":"https://doi.org/10.1515/itit-2021-0012","url":null,"abstract":"Abstract Distributed Synthesis is the problem of automatically generating correct controllers for individual agents in a distributed system. Petri games model this problem by a game between two teams of players on a Petri net structure. Under some restrictions, Petri games can be solved by a reduction to a two player game. The concept of symmetries in Petri nets is closely related to high-level representations of Petri games. Applying symmetries to the states in the two-player game results in a significant state space reduction. We give an overview about (high-level) Petri games and the application of symmetries in this setting. We present ongoing work aiming to concisely describe solutions of Petri games by a high-level representation.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"321 - 331"},"PeriodicalIF":0.9,"publicationDate":"2021-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48699402","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract Negative Bias Temperature Instability (NBTI) is one of the major transistor aging effects, possibly leading to timing failures during run-time of a system. Thus one is interested in predicting this effect during design time. In this work an Abstraction NBTI model is introduced reducing the state space of trap-based NBTI models using two abstraction parameters, applying a state transformation to incorporate variable stress conditions. This transformation is faster than traditional approaches. Currently the conversion into estimated threshold voltage damages is a very time consuming process.
{"title":"Abstraction NBTI model","authors":"Stephan Adolf, W. Nebel","doi":"10.1515/itit-2021-0005","DOIUrl":"https://doi.org/10.1515/itit-2021-0005","url":null,"abstract":"Abstract Negative Bias Temperature Instability (NBTI) is one of the major transistor aging effects, possibly leading to timing failures during run-time of a system. Thus one is interested in predicting this effect during design time. In this work an Abstraction NBTI model is introduced reducing the state space of trap-based NBTI models using two abstraction parameters, applying a state transformation to incorporate variable stress conditions. This transformation is faster than traditional approaches. Currently the conversion into estimated threshold voltage damages is a very time consuming process.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"299 - 310"},"PeriodicalIF":0.9,"publicationDate":"2021-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46551252","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract Software modularity and partial qualification capabilities are key enablers to produce cost efficient software in highly regulated domains. The modular concept (called spaceAPPS) described in this paper has been developed in the frame of the OPS-SAT project aiming at missions where flexibility is one of the success factors. spaceAPPS implements a novel software architecture for satellites inspired by the Apps concept of modern smartphones. In the European space domain the operation of a satellite is based on a set of 18 services. Accordingly, in spaceApps these services are mapped to individual Apps. This is not a one-to-one mapping which means that one App implements one or more services. During OPS-SAT ground testing it was demonstrated that functionality could be easily added through a new App or updated through replacing an existing App. Also during OPS-SAT ground testing it could be shown that a failing UserApp did not impact the basic apps to operate the satellite. Thus, it is possible to run applications of different criticality on the same platform. With operating systems supporting time and space separation the risk of failure propagation can be further reduced. The implementation of a partial validation approach, i. e. testing of third-party Apps in a representative environment and not running the validation on the target platform is feasible but was not demonstrated.
{"title":"spaceAPPS – A modular approach for on-board software","authors":"Juergen Herpel, F. Schoen, Harald Selegrad","doi":"10.1515/itit-2020-0038","DOIUrl":"https://doi.org/10.1515/itit-2020-0038","url":null,"abstract":"Abstract Software modularity and partial qualification capabilities are key enablers to produce cost efficient software in highly regulated domains. The modular concept (called spaceAPPS) described in this paper has been developed in the frame of the OPS-SAT project aiming at missions where flexibility is one of the success factors. spaceAPPS implements a novel software architecture for satellites inspired by the Apps concept of modern smartphones. In the European space domain the operation of a satellite is based on a set of 18 services. Accordingly, in spaceApps these services are mapped to individual Apps. This is not a one-to-one mapping which means that one App implements one or more services. During OPS-SAT ground testing it was demonstrated that functionality could be easily added through a new App or updated through replacing an existing App. Also during OPS-SAT ground testing it could be shown that a failing UserApp did not impact the basic apps to operate the satellite. Thus, it is possible to run applications of different criticality on the same platform. With operating systems supporting time and space separation the risk of failure propagation can be further reduced. The implementation of a partial validation approach, i. e. testing of third-party Apps in a representative environment and not running the validation on the target platform is feasible but was not demonstrated.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"209 - 218"},"PeriodicalIF":0.9,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43645661","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
lies on model-based, scalable and autonomous avionics for future
未来的关键在于基于模型的、可扩展的和自主的航空电子设备
{"title":"Space information technology","authors":"F. Dannemann","doi":"10.1515/itit-2021-0038","DOIUrl":"https://doi.org/10.1515/itit-2021-0038","url":null,"abstract":"lies on model-based, scalable and autonomous avionics for future","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"183 - 184"},"PeriodicalIF":0.9,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44868172","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract Communication has been crucial since the beginning of space exploration. Control information and telemetry data of the space vessels as well as voice and video communication of the crew with the ground control have to be maintained. This paper is a survey for readers new to the topic to get an overview about the current status of space communication in national agencies and standardization bodies and ongoing research in the field. It also gives a short overview about the historical development and finally summarizes the authors’ thoughts about future challenges in space communication.
{"title":"Current state and future challenges in deep space communication: A survey","authors":"A. Könsgen, Anna Förster","doi":"10.1515/itit-2021-0002","DOIUrl":"https://doi.org/10.1515/itit-2021-0002","url":null,"abstract":"Abstract Communication has been crucial since the beginning of space exploration. Control information and telemetry data of the space vessels as well as voice and video communication of the crew with the ground control have to be maintained. This paper is a survey for readers new to the topic to get an overview about the current status of space communication in national agencies and standardization bodies and ongoing research in the field. It also gives a short overview about the historical development and finally summarizes the authors’ thoughts about future challenges in space communication.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"219 - 234"},"PeriodicalIF":0.9,"publicationDate":"2021-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47259452","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Julianna Bozler, H. Herpel, J. Johansson, W. Gasti, O. Mourra
Abstract In this paper we describe how commercial open standards for embedded systems could affect the architecture of future satellite data handling systems. Traditionally, satellite data handling systems are based on the principles of a federated architecture, i. e. one function is implemented as one box. Each box has its own housing and power supply. In the paper we describe the transition path from the traditional federated architecture to a centralized but modular architecture based on adapted industrial standards. In the presented approach functional modules like on-board computer, Global Navigation Satellite System receiver, interface boards, etc. are combined in a rack communicating via a standard backplane using standardized communication links. The analysis performed during the Advanced Data Handling Architecture study showed that this approach contributes significantly to mass and power reduction (approx. 20 %) of a typical satellite data handling system. Another major point highlighted in the Advanced Data Handling Architecture study is the simplification of Assembly, Integration and Test activities. All this will help space industry to handle increasing system complexity while keeping costs at an acceptable level.
{"title":"Advanced data handling architecture for earth observation satellites","authors":"Julianna Bozler, H. Herpel, J. Johansson, W. Gasti, O. Mourra","doi":"10.1515/itit-2020-0036","DOIUrl":"https://doi.org/10.1515/itit-2020-0036","url":null,"abstract":"Abstract In this paper we describe how commercial open standards for embedded systems could affect the architecture of future satellite data handling systems. Traditionally, satellite data handling systems are based on the principles of a federated architecture, i. e. one function is implemented as one box. Each box has its own housing and power supply. In the paper we describe the transition path from the traditional federated architecture to a centralized but modular architecture based on adapted industrial standards. In the presented approach functional modules like on-board computer, Global Navigation Satellite System receiver, interface boards, etc. are combined in a rack communicating via a standard backplane using standardized communication links. The analysis performed during the Advanced Data Handling Architecture study showed that this approach contributes significantly to mass and power reduction (approx. 20 %) of a typical satellite data handling system. Another major point highlighted in the Advanced Data Handling Architecture study is the simplification of Assembly, Integration and Test activities. All this will help space industry to handle increasing system complexity while keeping costs at an acceptable level.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"199 - 208"},"PeriodicalIF":0.9,"publicationDate":"2021-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46907160","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Abstract Machine Learning (ML) is ubiquitously on the advance. Like many domains, Earth Observation (EO) also increasingly relies on ML applications, where ML methods are applied to process vast amounts of heterogeneous and continuous data streams to answer socially and environmentally relevant questions. However, developing such ML- based EO systems remains challenging: Development processes and employed workflows are often barely structured and poorly reported. The application of ML methods and techniques is considered to be opaque and the lack of transparency is contradictory to the responsible development of ML-based EO applications. To improve this situation a better understanding of the current practices and engineering-related challenges in developing ML-based EO applications is required. In this paper, we report observations from an exploratory study where five experts shared their view on ML engineering in semi-structured interviews. We analysed these interviews with coding techniques as often applied in the domain of empirical software engineering. The interviews provide informative insights into the practical development of ML applications and reveal several engineering challenges. In addition, interviewees participated in a novel workflow sketching task, which provided a tangible reflection of implicit processes. Overall, the results confirm a gap between theoretical conceptions and real practices in ML development even though workflows were sketched abstractly as textbook-like. The results pave the way for a large-scale investigation on requirements for ML engineering in EO.
{"title":"A qualitative study of Machine Learning practices and engineering challenges in Earth Observation","authors":"Sophie F. Jentzsch, N. Hochgeschwender","doi":"10.1515/itit-2020-0045","DOIUrl":"https://doi.org/10.1515/itit-2020-0045","url":null,"abstract":"Abstract Machine Learning (ML) is ubiquitously on the advance. Like many domains, Earth Observation (EO) also increasingly relies on ML applications, where ML methods are applied to process vast amounts of heterogeneous and continuous data streams to answer socially and environmentally relevant questions. However, developing such ML- based EO systems remains challenging: Development processes and employed workflows are often barely structured and poorly reported. The application of ML methods and techniques is considered to be opaque and the lack of transparency is contradictory to the responsible development of ML-based EO applications. To improve this situation a better understanding of the current practices and engineering-related challenges in developing ML-based EO applications is required. In this paper, we report observations from an exploratory study where five experts shared their view on ML engineering in semi-structured interviews. We analysed these interviews with coding techniques as often applied in the domain of empirical software engineering. The interviews provide informative insights into the practical development of ML applications and reveal several engineering challenges. In addition, interviewees participated in a novel workflow sketching task, which provided a tangible reflection of implicit processes. Overall, the results confirm a gap between theoretical conceptions and real practices in ML development even though workflows were sketched abstractly as textbook-like. The results pave the way for a large-scale investigation on requirements for ML engineering in EO.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"235 - 247"},"PeriodicalIF":0.9,"publicationDate":"2021-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46768929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
U. Kulau, Juergen Herpel, Ran Qedar, P. Rosenthal, J. Krieger, F. Schoen, I. Masár
Abstract The demand for satellites and space systems with ever-increasing avionics requirements is constantly growing, whether in the field of satellite communications or earth observation. Traditional architectures for Data Handling Systems (DHS) on satellites are reaching their limits in terms of flexibility, interoperability and reusability, while slowing down the innovation cycle due to costly qualification. With regard to commercial and industrial solutions, it is evident that ‘plug and play’-like systems based on open standards can overcome the above-mentioned disadvantages. For this reason, this paper describes how open standards could affect the architecture of future satellite DHSs. In particular it shows an transition path from the traditional federated architecture to a centralized but modular architecture based on adapted industrial standards.
{"title":"Towards modular and scalable on-board computer architecture","authors":"U. Kulau, Juergen Herpel, Ran Qedar, P. Rosenthal, J. Krieger, F. Schoen, I. Masár","doi":"10.1515/itit-2020-0037","DOIUrl":"https://doi.org/10.1515/itit-2020-0037","url":null,"abstract":"Abstract The demand for satellites and space systems with ever-increasing avionics requirements is constantly growing, whether in the field of satellite communications or earth observation. Traditional architectures for Data Handling Systems (DHS) on satellites are reaching their limits in terms of flexibility, interoperability and reusability, while slowing down the innovation cycle due to costly qualification. With regard to commercial and industrial solutions, it is evident that ‘plug and play’-like systems based on open standards can overcome the above-mentioned disadvantages. For this reason, this paper describes how open standards could affect the architecture of future satellite DHSs. In particular it shows an transition path from the traditional federated architecture to a centralized but modular architecture based on adapted industrial standards.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"63 1","pages":"185 - 197"},"PeriodicalIF":0.9,"publicationDate":"2021-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43436891","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The rise of far-right parties in Europe and harsh propaganda against immigrants and Muslims are primary sources for the development of anti-Islam stances and anti-Muslim hatred among the population. The lack of acknowledgment of Islam and Muslims by the Italian state allows its citizens to conceive an exclusionary populist discourse and a shared negative view that impedes the enforcement of the right to religious freedom. To go local may result as an attractive, though obliged, alternative, and the municipality, as the representative of the institution closest to citizenship, may then affirm its leadership role in ensuring social cohesion and the protection of the human rights of all its citizens, so that European democratic pluralism is translated into effective access to and enjoyment of fundamental rights.
{"title":"Anti-Muslim hatred in Italy: A Glocal issue","authors":"D. Altomonte","doi":"10.25253/99.2021232.2","DOIUrl":"https://doi.org/10.25253/99.2021232.2","url":null,"abstract":"The rise of far-right parties in Europe and harsh propaganda against immigrants and Muslims are primary sources for the development of anti-Islam stances and anti-Muslim hatred among the population. The lack of acknowledgment of Islam and Muslims by the Italian state allows its citizens to conceive an exclusionary populist discourse and a shared negative view that impedes the enforcement of the right to religious freedom. To go local may result as an attractive, though obliged, alternative, and the municipality, as the representative of the institution closest to citizenship, may then affirm its leadership role in ensuring social cohesion and the protection of the human rights of all its citizens, so that European democratic pluralism is translated into effective access to and enjoyment of fundamental rights.","PeriodicalId":43953,"journal":{"name":"IT-Information Technology","volume":"57 1","pages":"23-37"},"PeriodicalIF":0.9,"publicationDate":"2021-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88415318","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：