it - Information Technology
it - Information Technology is a strictly peer-reviewed scientific journal. It is the oldest German journal in the field of information technology. Today, the major aim of it - Information Technology is highlighting issues on ongoing newsworthy areas in information technology and informatics and their application. It aims at presenting the topics with a holistic view. It addresses scientists, graduate students, and experts in industrial research and development.
it - Information Technology is the organ of the faculties Technical Informatics and Computer Science in the Life Sciences of the German Informatics Society (GI - Gesellschaft für Informatik e.V.) and faculty Technical Informatics of the Information Technology Society (ITG) within the VDE (Verband der Elektrotechnik, Elektronik und Informationstechnik e.V.).
Auflistung nach:
Auflistung it - Information Technology nach Erscheinungsdatum
1 - 10 von 228
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelEfficient implementation of ideal lattice-based cryptography(it - Information Technology: Vol. 59, No. 6, 2017) Pöppelmann, ThomasAlmost all practically relevant asymmetric cryptosystems like RSA or ECC are either based on the hardness of factoring or on the hardness of the discrete logarithm problem. However, both problems could be solved efficiently on a large enough quantum computer. While quantum computers powerful enough to break currently used parameter sets are not available yet, they are heavily researched and expected to reach maturity in 15 to 20 years. As a consequence, research on alternative quantum-safe cryptosystems is required. One alternative is lattice-based cryptography which allows the construction of asymmetric public-key encryption and signature schemes that offer a good balance between security, performance, and key as well as ciphertext sizes.
- ZeitschriftenartikelMulticore system architecture aspects and deployment(it - Information Technology: Vol. 59, No. 5, 2017) Kuntz, Stefan; Dieudonne, LaurentThe crucial foundation in developing embedded safety-critical real-time systems based on multicore based platforms is the capability to combined different methodologies and approaches with a sound formal description of the system architecture. With such a system of methodologies and system architectures it is possible to develop a system satisfying all requirements and even being able to optimize the overall system towards domain specific goals. This article discusses activities in ARAMiS, which have been performed on system architecture level, including improvements of modeling existing architectures and design techniques concerning reliability, independence, segregation and determinism for deployment strategies.
- ZeitschriftenartikelHardware/software trade-offs for shared resources virtualization in mixed-criticality automotive multicore systems(it - Information Technology: Vol. 59, No. 5, 2017) Sandmann, Timo; Richter, Andre; Heyszi, Johann; Lübbers, EnnoVirtualization plays an important role for embedded systems where hardware support can prove beneficial, but these systems also pose a challenge due to power, resource constraints; reliability, safety, real-time requirements; diversity of devices, and operating systems. Therefore a trade-off between flexibility, determinism and performance exists in the embedded application domain. As virtualization in software always incurs overhead due to context switching, interrupt handling, etc. the aim is to minimize the overhead and make execution more deterministic using hardware support.
- ZeitschriftenartikelData integration in life sciences(it - Information Technology: Vol. 59, No. 5, 2017) Prokosch, Hans-Ulrich
- ZeitschriftenartikelOn narrowing the gap between verification and systematic testing(it - Information Technology: Vol. 59, No. 5, 2017) Christakis, MariaOur work on narrowing the gap between verification and systematic testing has two directions: (1) complementing verification with systematic testing, and (2) pushing systematic testing toward reaching verification. In the first direction, we explore how to effectively combine static analysis with systematic testing, so as to guide test generation toward properties that have not been previously checked by a static analyzer in a sound way. This combination significantly reduces the test effort while checking more unverified properties. In the second direction, we push systematic testing toward checking as many executions as possible of a real and complex image parser, so as to prove the absence of a certain class of errors. This verification attempt required no static analysis or source code annotations; our purely dynamic techniques targeted the verification of the parser implementation, including complicated assembly patterns that most static analyses cannot handle.
- ZeitschriftenartikelCross-architecture bug search in binary executables(it - Information Technology: Vol. 59, No. 5, 2017) Pewny, Jannik; Garmany, Behrad; Gawlik, Robert; Rossow, Christian; Holz, ThorstenWith the general availability of closed-source software for various CPU architectures, there is a need to identify security-critical vulnerabilities at the binary level. Unfortunately, existing bug finding methods fall short in that they i) require source code, ii) only work on a single architecture (typically x86), or iii) rely on dynamic analysis, which is difficult for embedded devices. In this paper, we propose a system to derive bug signatures for known bugs. First, we compute semantic hashes for the basic blocks of the binary. When can then use these semantics to find code parts in the binary that behave similarly to the bug signature, effectively revealing code parts that contain the bug. As a result, we can find vulnerabilities, e.g., the famous Heartbleed vulnerabilities, in buggy binary code for any of the supported architectures (currently, ARM, MIPS and x86).
- ZeitschriftenartikelA novel approach on the provision of distributed energy resource capabilities(it - Information Technology: Vol. 59, No. 5, 2017) Dethlefs, TimThe increasing dissemination of Distributed Energy Resources (DER) will have a significant impact on the planning and operation of the electricity grid. Many of these DERs have operational constraints e.g. weather conditions or self-sufficiency of resources or interactions within a multimodal environment. Today, established concepts on Virtual Power Plants aggregation often lack the possibility of automated, standardized and near real-time reconfiguration in case of failures or planning issues with these volatile DERs. In spite of standardization approaches a standardized description model for energy resources and their capabilities which allows aggregators to automatically find contributing or substituting DERs is lacking. The recent development in the electricity grid towards increasing Information and Communication capabilities can be used for a large scale information and allocation system for energy resources. Such a registry for energy resource capabilities will provide the opportunity for DERs to promote actual information about their capabilities based on forecasts and operational plans. Aggregators can select appropriate resources for their VPP configuration and reconfiguration while system operators can e.g. observe the grid status and the allocated capacities of all active DERs registered at the registry. In order to achieve the goals and to optimize the usage of especially renewable DERs, three main research question have to be addressed: (1) The definition of a standardized, abstracted and generalized description model for DER capabilities. (2) The interoperability and communicational requirements for such energy services. (3) Identifying the current applications and potential contributions to the development of future energy markets.
- ZeitschriftenartikelIntegration and virtual reality exploration of biomedical data with CmPI and VANTED(it - Information Technology: Vol. 59, No. 5, 2017) Sommer, Björn; Schreiber, FalkModelling and analysis of metabolic processes is an established research field in Computational Systems Biology and Medicine. There are many different approaches for modelling as well as for visualization, but often these methods ignore the subcellular localization of proteins, enzymes and transporters involved in the metabolic processes.
- ZeitschriftenartikelThe next urban paradigm: Cohabitation in the smart city(it - Information Technology: Vol. 59, No. 6, 2017) Foth, Marcus
- ZeitschriftenartikelSmart cities, epistemic communities, advocacy coalitions and the 'last mile' problem(it - Information Technology: Vol. 59, No. 6, 2017) Kitchin, Rob; Coletta, Claudio; Evans, Leighton; Heaphy, Liam; MacDonncha, DarachWe argue that the ideas, ideals and the rapid proliferation of smart city rhetoric and initiatives globally have been facilitated and promoted by three inter-related communities: (i) `urban technocrats'; (ii) a smart cities `epistemic community'; (iii) a wider `advocacy coalition'. We examine their roles and the multiscale formation, and why despite their influence they encounter a `last mile problem'; that is, smart city initiatives are yet to become fully mainstreamed. We illustrate this last mile problem through a discussion of plans to introduce smart lighting in Dublin.