42,786 Hits in 5.3 sec

An ontology based scheme for sensor description in context awareness system

Lingling Xue, Yang Liu, Peng Zeng, Haibin Yu, Zhao Shi
2015 2015 IEEE International Conference on Information and Automation  
The existing problems for sensor networks are sensor management and data sharing between sensors.  ...  Different ontology development methodologies and frameworks have been proposed by many research groups in various areas.  ...  Science, Technology and Innovation, of Chinese Academy of Sciences-Network and system technologies for security monitoring and information interaction in smart grid, Energy management system for micro-smart  ... 
doi:10.1109/icinfa.2015.7279397 dblp:conf/icinfa/XueL0YS15 fatcat:ke3huek7k5gkzmpuxcvdffe5zi

Autonomous Mobile Robot Navigation System

B.Prem Kumar, M. Sai Suman, D. Paul Samuel, V. Pillai Vishal Vadivel, Praghash K., Christo Ananth
2015 Social Science Research Network  
Therefore, for correct interaction among robot sensors and sharing of data between them, we have developed an robot ontology (OntAPIbot) for defining the formal specification of concepts in-order to reduce  ...  the heterogeneity and to facilitate the reasoning tools for correct knowledge interpretation and reuse.  ...  Consistency Ontology must be supported with the automation of consistency checking resulting in more reliable software.  ... 
doi:10.2139/ssrn.3025549 fatcat:s6x34k35krfpzmykd5uzjne5he

Engineering virtualized services

Elvira Albert, Frank de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
2013 Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies - NordiCloud '13  
Our position necessitates a design by contract methodology for SLA-aware virtualized services, which is to be integrated in industrial software development processes.  ...  CC-pi only checks for consistency and does not address issues as optimization of business values or contractual norms-topics that are addressed in detail in [27] and in RBSLA [26] .  ... 
doi:10.1145/2513534.2513545 dblp:conf/nordicloud/AlbertBHJL13 fatcat:ngwwtqbegffltfehsjprtxtrlm

LP-HLS: Automatic power-intent generation for high-level synthesis based hardware implementation flow

Affaq Qamar, Fahad Bin Muslim, Javed Iqbal, Luciano Lavagno
2017 Microprocessors and microsystems  
This research aims to integrate low power techniques, specifically Power Shut-Off (PSO), within a model based hardware flow and to derive an automated Low Power-High Level Synthesis (LP-HLS) methodology  ...  Nowadays, low power design techniques for digital blocks are applied at RTL and there exists no commercial tool or methodology that can automatically derive the power intent from the system level description  ...  The design architecture consists of concurrent processes with the communication between them taking place at transaction level.  ... 
doi:10.1016/j.micpro.2017.02.002 fatcat:vvlqqmmtnzeorm6odadyfidb4e

Advanced Systems Engineering [chapter]

Manfred Broy, Wolfgang Böhm, Bernhard Rumpe
2020 Model-Based Engineering of Collaborative Embedded Systems  
The framework provides a comprehensive methodology for MBSE that is independent of tools and modeling languages.  ...  AbstractAdvanced systems engineering (ASE) is a new paradigm for agile, efficient, evolutionary, and quality-aware development of complex cyber-physical systems using modern digital technologies and tools  ...  A separate theory can be specified for each of these modeling concepts. The same applies to the description of the relationship between the different modeling concepts used.  ... 
doi:10.1007/978-3-030-62136-0_19 fatcat:q5hth2yvgjbl7bivwcktfrujka

Modeling station duty officer operations assistant at Johnson Space Center

Madjid Tavana, James N Ortiz, Susan E Torney
2003 Advances in Engineering Software  
The purpose of this paper is twofold: (1) to present a unique two-stage specification methodology that combines data flow diagrams and petri nets and (2) to apply the proposed methodology in a complex  ...  Automation is being considered as an enabling technology to meet the aforementioned challenges.  ...  Acknowledgements The authors are grateful to the editor, the anonymous reviewers, and Professor Anne Marie Smith for their insightful comments and suggestions.  ... 
doi:10.1016/s0965-9978(02)00127-8 fatcat:kuqn2vduo5aphla5nlz74wcgmm

Generator based approach for analog circuit and layout design and optimization

A Graupner, R Jancke, R Wittmann
2011 2011 Design, Automation & Test in Europe  
This paper presents a new methodology for layout generation of analog circuits that is based on a modular circuit design and a so-called "executable design flow description".  ...  It is especially distracting when re-using an existing design for a similar specification or when transferring a working design to a new technology.  ...  The authors would like to thank their colleagues at Fraunhofer IIS for providing the example circuit as well as Karl-Heinz Rooch (Fraunhofer IIS/EAS), Harald Bothe (IP GEN), and Stefan Jäkel (ZMDI) for  ... 
doi:10.1109/date.2011.5763267 dblp:conf/date/GraupnerJW11 fatcat:4uaz7rvccnhqbpyaknojyttz4i

Using unified power format standard concepts for power-aware design and verification of systems-on-chip at transaction level

O. Mbarek, A. Pegatoquet, M. Auguin
2012 IET Circuits, Devices & Systems  
This study introduces an efficient methodology for making system power decisions at transaction level (TL) by adding and verifying power intent and management capabilities into TL models.  ...  A TL-model example is considered to validate the methodology.  ...  Power-aware verification stage Power-management features added throughout our methodology flow may generate different types of errors.  ... 
doi:10.1049/iet-cds.2011.0352 fatcat:jszag4rq4zfcjgswfbd3dvbrwm

A methodology for design space exploration of real-time location systems

D.A. Kirov, R. Passerone, A.A. Ozhiganov
2015 Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki  
There is also a metric called resolution, which expresses the minimum difference between measurements (for example, several centimeters).  ...  WSN consist of small battery-powered devices having different sensors on board (e.g., temperature, humidity, light etc.) and communicating via wireless channel.  ...  He has participated to several European projects on design methodologies, including SPEEDS, SPRINT and DANSE, and was local coordinator for ArtistDesign, COMBEST, and Cy-PhERS.  ... 
doi:10.17586/2226-1494-2015-15-4-551-567 fatcat:cjuvyahauvci3hzpz3lo6adsyq

Physical design implementation of segmented buses to reduce communication energy

Jin Guo, Antonis Papanikolaou, Pol Marchal, Francky Catthoor
2006 Proceedings of the 2006 conference on Asia South Pacific design automation - ASP-DAC '06  
We present in this paper an automated way to implement a netlist consisting of hard macro blocks, which are interconnected with heavily segmented buses in an energy optimal fashion for communication.  ...  activity aware floorplanning step to minimize the physical length of these segments.  ...  In the remainder of this paper we outline an automated methodology, which can produce an optimized implementation of a system consisting of hard macro-blocks interconnected via segmented buses starting  ... 
doi:10.1145/1118299.1118311 fatcat:sjmqvdbvxjbz3ljlkeeyrojupq

Requirements Engineering for Cyber-Physical Systems [chapter]

Stefan Wiesner, Christian Gorldt, Mathias Soeken, Klaus-Dieter Thoben, Rolf Drechsler
2014 IFIP Advances in Information and Communication Technology  
a comprehensive RE methodology for CPS.  ...  This paper will elaborate the specific challenges in RE for CPS based on a literature review.  ...  Conversely, formal descriptions are often not accessible for end users and differ heavily between the disciplines involved in CPS development.  ... 
doi:10.1007/978-3-662-44739-0_35 fatcat:bzb4otbj3jh3hlpk2zeufdt3qy


Furkh Zeshan
2019 Malaysian Journal of Computer Science  
In this paper, we developed a context-aware ontology for DERTS which is known as ConOntDERTS. To evaluate ConOntDERTS, we used two methods.  ...  Distributed Embedded Real-Time Systems (DERTS) consists of hundreds of interconnected devices, typically small and wirelessly-connected, which are designed to work for a long period of time.  ...  For DERTS context ontology development, the Protégé [37] editor (as shown in Figure 5 ) is used while consistency checking and reasoning is performed by utilizing a Description Logic Reasoner with Protégé  ... 
doi:10.22452/mjcs.vol32no3.2 fatcat:ynoiwm7odbdx3k3qbnltrrngi4

Mapping of Self-organization Properties and Non-functional Requirements in Smart Grids [chapter]

Sebastian Lehnhoff, Sebastian Rohjans, Richard Holzer, Florian Niedermeier, Hermann de Meer
2014 Lecture Notes in Computer Science  
In this position paper the authors describe the well-established process of use case based derivation of non-functional requirements in energy systems and propose a mapping strategy for aligning properties  ...  of selforganizing systems with the ICT-and automation system requirements.  ...  In order to provide a consistent classification and to enable a mapping of requirements on suitable standards and technologies the PAS 62559 provides comprehensive check lists for non-functional requirements  ... 
doi:10.1007/978-3-642-54140-7_16 fatcat:c5uyqh72rfcidganqpkaplecfu

IBM's 50 Million gate ASICs

Juergen Koehl, David E. Lackey, George Doerre
2003 Proceedings of the 2003 conference on Asia South Pacific design automation - ASPDAC  
There is no slowdown in the complexity increase for ASIC and SoC designs.  ...  This paper describes the current tool and methodology development efforts focused on enabling ASIC and SoC designs of these sizes and complexity, centered around the reduction of design turn-around-time  ...  The goal is a completely automated flow with zero downtime between steps.  ... 
doi:10.1145/1119772.1119915 dblp:conf/aspdac/KoehlLD03 fatcat:37j5z3tnxfac5lqe3p5o7kuw4m

Scenario-based approach adopted in the ELECTRA project for deriving innovative control room functionality

Mattia Marinelli, Kai Heussen, Alexander Prostejovsky, Henrik W. Bindner, Victoria M. Catterson, Julia Merino, Carlo Tornelli
2017 CIRED - Open Access Proceedings Journal  
Here, the authors analyse the operator point of view of the Web-of-Cells concept defined in the EU project ELECTRA, by identifying operator tasks into the supervision of a highly automated power system  ...  , and the information requirements to facilitate appropriate operator situation awareness.  ...  For each scenario, a brief description is provided along with the control room perspective.  ... 
doi:10.1049/oap-cired.2017.0613 fatcat:of3bxxvfwze2xpinmablvtrohy
« Previous Showing results 1 — 15 out of 42,786 results