Back to Results
First PageMeta Content
Wireless sensor network / Technology / Configuration graph / Sensor node / Prolog / Model-based testing / Programming language theory / Computing / Embedded systems / Wireless networking


MDE-based Sensor Management and Verification for a Self-Driving Miniature Vehicle Md Abdullah Al Mamun, Christian Berger, and Jörgen Hansson Chalmers | University of Gothenburg, Sweden Department of Computer Science and
Add to Reading List

Document Date: 2013-10-21 17:24:41


Open Document

File Size: 764,14 KB

Share Result on Facebook

City

Prolog / Concord / Magdeburg / Toulouse / London / San Diego / Braunschweig / Grenoble / /

Company

Component-Based Systems / Sensor Management / Autonomous Driving Software / Collaborative Mobile Systems / Embedded Automotive Systems / Open Geospatial Consortium Inc. / International Journal / Verification / Intel / Cyber-Physical Systems / STMicroelectronics / /

Continent

Europe / /

Country

Germany / France / United States / United Kingdom / /

Facility

University of Gothenburg / /

IndustryTerm

software/hardware interface / graphical configuration tool / wireless sensor networks / comfort systems / safety systems / wireless networks / software development / command protocol / traversal algorithm / intended hardware / actuators wireless communication protocols / graphical tool / real-time operating system / formal hardware / /

OperatingSystem

Mac OS X / /

Organization

U.S. Securities and Exchange Commission / University of Gothenburg / European Design and Automation Association / STM32F4 Discovery Board / Sweden Department of Computer Science and Engineering / /

Person

A. Al Mamun / Jörgen Hansson Chalmers / Christian Berger / Vehicle Md Abdullah Al Mamun / Matthias Tichy / /

Position

engineer / /

Product

realtime operating system Chibi/OS / Chibi/OS / /

ProgrammingLanguage

Prolog / Object Constraint Language / /

ProvinceOrState

North Carolina / /

RadioStation

Core / /

Technology

traversal algorithm / standardized protocols / shared memory system / Constraint Satisfaction Algorithm / RAM / ADC / actuators wireless communication protocols / PUCK protocol / operating system / DSL / real-time operating system / command protocol / simulation / UART / /

URL

http /

SocialTag