Filters








12,219 Hits in 9.2 sec

Towards Formalizing Time-Constrained System Models in TCOZ

Kong Xiangying, Chen yanhui, Zhuang Yi
2013 Research Journal of Applied Sciences Engineering and Technology  
This study is concerned with using Unified Modeling Language (UML) model and the UML profile for Modeling and Analysis of Real-Time and Embedded (MARTE) systems to depict a Time-Constrained System (TCS  ...  The mapping rules for the modeling elements especially time-related issues are given at meta-model level.  ...  INTRODUCTION Time-Constrained System (TCS) is a special real time and embedded system which has strict demand in timeliness and it is generally used in the military, medical and communicational industry  ... 
doi:10.19026/rjaset.6.3785 fatcat:rzqdfxzspbg2zooy2d2325dkwm

Model-Based Development of Integrated Computer Systems: Modeling the Execution Platform

Bernhard Huber, Roman Obermaisser
2007 2007 Fifth Workshop on Intelligent Solutions in Embedded Systems  
The DECOS architecture provides a framework for integrating multiple application systems within a single distributed computer system.  ...  Additionally, we present a novel graphical model editor based on GME for capturing the execution platform in the model-based development process.  ...  Following this line of reasoning, the present paper describes a contribution towards a model-based development process for integrated systems.  ... 
doi:10.1109/wises.2007.4408502 dblp:conf/wises/HuberO07 fatcat:vgfrquiznjhfnftq3otrnich2m

Trust in MDE components

Benoît Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois, Christian Percebois, Erwann Poupart, Laurent Sabatier
2010 Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems - S&D4RCES '10  
a methodology for the validation and qualification of such components.  ...  However, engineers must ensure that the models have the properties required for the application.  ...  of a unifying language for a family of DSL.  ... 
doi:10.1145/1868433.1868436 fatcat:efzv7ykunfaqdpjylqmrsxgowq

Artificial Intelligence Enabled NOMA Towards Next Generation Multiple Access [article]

Xiaoxia Xu, Yuanwei Liu, Xidong Mu, Qimei Chen, Hao Jiang, Zhiguo Ding
2022 arXiv   pre-print
Then, to achieve the vision of NGMA, a novel cluster-free NOMA framework is proposed for providing scenario-adaptive NOMA communications, and several promising machine learning solutions are identified  ...  This article focuses on the application of artificial intelligence (AI) in non-orthogonal multiple-access (NOMA), which aims to achieve automated, adaptive, and high-efficiency multi-user communications towards  ...  As a result, the proposed framework can enhance system performance and enable a novel scenario-adaptive multi-antenna NOMA paradigm towards NGMA. B.  ... 
arXiv:2206.04992v1 fatcat:zmfk3f5nvndnlpjoqbtour6uo4

MARTE: A Profile for RT/E Systems Modeling, Analysis - and Simulation?

Frederic Mallet, Robert de Simone
2008 Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems  
We tackled the general issue of defining a broadly expressive Time Model as a sub-profile of the upcoming OMG Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE), currently undergoing  ...  As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles.  ...  This trend is also happening in the domain of real-time and embedded (RT/E) systems, where traditional resource-constrained systems are becoming much more complex, not so constrained and involve more and  ... 
doi:10.4108/icst.simutools2008.3097 dblp:conf/simutools/MalletS08 fatcat:psij6hur5naflf6mpiqsfca4na

Design Patterns for Resource-Constrained Automated Deep-Learning Methods

Lukas Tuggener, Mohammadreza Amirian, Fernando Benites, Pius von Däniken, Prakhar Gupta, Frank-Peter Schilling, Thilo Stadelmann
2020 AI  
search; we show (c) that in text processing deep-learning-based methods only pull ahead of traditional methods for short text lengths with less than a thousand characters under tight resource limitations  ...  ; and lastly we present (d) evidence that in very data- and computing-constrained settings, hyperparameter tuning of more traditional machine-learning methods outperforms deep-learning systems.  ...  model that is able to process data of any modality in a unified way.  ... 
doi:10.3390/ai1040031 fatcat:joz2b36rmnclhkbmijhlqrgznm

Programmable Process Structure Based Analysis of Hydrogen Supply Chains

Mónika Varga, Catherine Azzaro-Pantel, José Manuel Flores-Perez, Béla Csukás
2019 Hungarian Journal of Industry and Chemistry  
In this paper, the non-conventional modeling and simulation methodology of Programmable Process Structures is applied for the description of these process systems.  ...  Analysis of this example model illustrates that the coordination of the hectically changing energy production of renewable resources with its seasonally and tendentiously changing demands is in need of  ...  System (GIS) based models and frameworks.  ... 
doi:10.33927/hjic-2019-20 fatcat:rdrzhdu6qzea5dwpsmrrjhgjvq

AN ANALYSIS OF CONTEXT-AWARE DATA MODELS FOR SMART CITIES: TOWARDS FIWARE AND ETSI CIM EMERGING DATA MODEL

A. J. Jara, Y. Bocchi, D. Fernandez, G. Molina, A. Gomez
2017 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
For that reason, a data model that offers advanced capabilities for the description of context is required.  ...  This paper presents an overview of the available technologies for this purpose and how it is being addressed by the Open and Agile Smart Cities principles and FIWARE platform through the data models defined  ...  The oBIX TC is also currently working on a binding of oBIX on CoAP and on a encoding using EXI. An object model provides a standard meta-model for representing device information.  ... 
doi:10.5194/isprs-archives-xlii-4-w3-43-2017 fatcat:awrabggtifd7nhrjxznmw6rjbm

Design and compilation of an object-oriented macroprogramming language for wireless sensor networks

Felix Jonathan Oppermann, Kay Romer, Luca Mottola, Gian Pietro Picco, Andrea Gaglione
2014 39th Annual IEEE Conference on Local Computer Networks Workshops  
We modeled the syntax after Java, to make it more palatable to inexperienced embedded programmers. Compared to Java, we modified the language to enable efficient execution on WSN devices.  ...  We designed and implemented a compiler that translates MPL language into executable C code, which spares the overhead of a virtual machine.  ...  ACKNOWLEDGMENT Special thanks go to Niclas Finne for his support of the implementation of the MPL language run-time and compiler and to Bengt-Ove Holländer for his significant assistance with the implementation  ... 
doi:10.1109/lcnw.2014.6927705 dblp:conf/lcn/OppermannRMPG14 fatcat:jwra4ifwjfbbrhhgsnnqgoboqa

makeSense: Real-world Business Processes through Wireless Sensor Networks

Florian Daniel, Joakim Eriksson, Niclas Finne, Harald Fuchs, Andrea Gaglione, Stamatis Karnouskos, Patricio Moreno Montero, Luca Mottola, Felix Jonathan Oppermann, Gian Pietro Picco, Kay Römer, Patrik Spieß (+2 others)
2013 International Symposium on Information Processing in Sensor Networks  
To this end, we provide the makeSense framework, a unified programming framework and a compilation chain that, from high-level business process specifications, generates code ready for deployment on WSN  ...  First, there is a lack of integration of WSNs with business process modeling languages and back-ends.  ...  To assist the process modeler in creating correct, executable models, we use a set of meta-models that describe the WSN in terms of the logical functionality it provides, along with the way it is embedded  ... 
dblp:conf/ipsn/DanielEFFGKMMOPRSTV13 fatcat:5k2e2v3af5gkthggv5645isxwi

Towards a Resource-Aware Component Model for Embedded Systems

Aneta Vulgarakis
2009 2009 33rd Annual IEEE International Computer Software and Applications Conference  
To describe the internal behavior of a component, in a structured way, in this thesis we propose REsource Model for Embedded Systems (REMES) that describes both functional and extra-functional behavior  ...  Consequently, a component model for development of embedded systems needs to systematically address extra-functional system properties.  ...  They propose a family of processalgebraic formalisms, developed to unify formal modeling and analysis of embedded systems resources.  ... 
doi:10.1109/compsac.2009.99 dblp:conf/compsac/Vulgarakis09 fatcat:55d7dcl7dzadtg3cxrefb7pzje

Smart radio environments empowered by reconfigurable AI meta-surfaces: an idea whose time has come

Marco Di Renzo, Merouane Debbah, Dinh-Thuy Phan-Huy, Alessio Zappone, Mohamed-Slim Alouini, Chau Yuen, Vincenzo Sciancalepore, George C. Alexandropoulos, Jakob Hoydis, Haris Gacanin, Julien de Rosny, Ahcene Bounceur (+2 others)
2019 EURASIP Journal on Wireless Communications and Networking  
For example, the input signal can be steered towards a meta-surface, which is configured to reflect it towards a given receiver, which is, in turn, steered towards the meta-surface.  ...  It is a known fact, more in general that supervised machine learning methods require massive amounts of data that is difficult to gather in resource-constrained systems, or that is just not available in  ... 
doi:10.1186/s13638-019-1438-9 fatcat:fb6735fzz5gfxm4lx6j3qyeq6q

2021 Index IEEE Transactions on Parallel and Distributed Systems Vol. 32

2022 IEEE Transactions on Parallel and Distributed Systems  
., +, TPDS Oct. 2021 2448-2463 Markov processes A Generic Stochastic Model for Resource Availability in Fog Computing Environments.  ...  Luo, J., +, TPDS May 2021 1238-1255 Linear systems A Parallel Jacobi-Embedded Gauss-Seidel Method.  ...  Graph coloring Feluca: A Two-Stage Graph Coloring Algorithm With Color-Centric Paradigm on GPU. Zheng, Z., +,  ... 
doi:10.1109/tpds.2021.3107121 fatcat:e7bh2xssazdrjcpgn64mqh4hb4

Ontology Engineering for Collaborative Embedded Systems - Requirements and Initial Approach

Constantin Hildebrandt, Sebastian Törsleff, Torsten Bandyszak, Birte Caesar, Alexander Ludewig, Alexander Fay
2018 Modellierung  
Collaborative embedded systems (CES) heavily rely on information models to understand the contextual situations they are exposed to. These information models serve different purposes.  ...  First, during development time it is necessary to model the context for eliciting and documenting the requirements that a CES is supposed to achieve.  ...  Hence, there is an imminent need for information models that allow for modelling the context of different CESs in a unified manner.  ... 
dblp:conf/modellierung/HildebrandtTBCL18 fatcat:t54cr4p77jfmfm4nrnzqx5dzuq

On Mathematical Laws of Software [chapter]

Yingxu Wang
2008 Lecture Notes in Computer Science  
The comprehensive set of mathematical laws of software lays a theoretical foundation for analyzing and modeling software behaviors and software system architectures, as well as for guiding rigorous practice  ...  A set of 95 algebraic laws of software behaviors is systematically derived, which encompasses the laws of meta-processes, process relations, and system compositions.  ...  The author would like to acknowledge the Natural Science and Engineering Council of Canada (NSERC) for its partial support to this work.  ... 
doi:10.1007/978-3-540-87563-5_4 fatcat:vis4hnljvjbm3of5e5zgwmiqqe
« Previous Showing results 1 — 15 out of 12,219 results