DSM Case Studies and Examples
Domain-Specific Modeling has been applied in many industrial applications,
consistently improving productivity by 5 to 10 times. Many companies are however
wary of revealing the source of their competitive advantage. Below are some examples and
case studies of those who have gone public with their results.
A selection of mostly commercial case studies and examples:
- Netum, Domain-Driven Data Migration
- Confirmat, ROS2
- GAC, OTA Vehicle functions
- GIDAS, FHIR health records generating Java, Php, Python, Ruby
- Rolls-Royce, Motor control systems
- DeweSoft, Measurement procedures
- Virtual Vehicle Research, Electric Vehicle Testbeds
- Airbnb, Journey workflow
- Metadev, Container orchestration
- JYU, Self-sovereign identity and ecosystems
- Confirmat, Kitting robots
- TH-Nuremberg, Automotive Cybersecurity
- AUTOSAR, Automotive software architecture
- DLR, Airport arrival management
- Samsung, Printer firmware
- Helvetia Insurance, Mainframe COBOL applications in insurance/banking
- SC, Enterprise applications for the cloud, (full thesis)
- Kentkart, Driver terminals
- ZF Friedrichshafen AG, IS026262 for automotive safety
- DLR, Control software, space
- Aselsan, GVDYS, ATA on data modules and interfaces
- SoLayTec, Atomic layer deposition on solar cells
- Altran, Various domains in industrial context
- ABB, Wind Turbine Systems: architecture, simulation and verification
- TNO, Cargo monitoring
- DFKI&KTH, Process automation
- Murdoch, Circulation Evaporator System
- Dell, Performance Modeling
- Philips, Power control of X-ray systems
- NIST, Industrial Process Plant Design and Verification
- Thales, Radar systems
- Profound, High level synthesis, ESL
- Djukic Software, Blood Separation Medical Machines
- VTT, Modeling for early-level performance evaluation
- AON, Actuarial models
- Ericsson, Network architectures
- Conformiq, WebApp Testing
- Djukic Software, Novi Sad Document Engineering
- Hofernet-IT, Fishing farm automation system
- Elektrobit, Testing military radios
- ASML, Simulators
- Verified, Testing Integrated Modular Avionics
- Océ, Printer Data Path Architectures
- Railway control systems
- DLR, Arrival Management Modeling Language for airport runaway assignment systems
- VTT, Experiences in setting up domain-specific model-based testing
- B.Braun, Dialysis machines
- Volvo, Continental, Fiat, VW etc. EAST-ADL for automotive architectures
- Aircraft passenger services
- Verified, Testing railway level crossing control
- Nokia, telecom architecture
- SAE, AADL Architecture Analysis & Design Language
- Polar Electro, Heart rate monitors
- ABB/Sintef, TCL
- a Dutch Telecom provider, WebForms
- Verified/Bremen, Verification of Synchronous Software Components
- Neopost, NeoFlow HW+SW co-design for paper handling machines (more)
- Venigalla & McInnes, A Domain Specific Design Tool for Spacecraft System Behavior
- Porsche, Car infotainment systems
- VTT, DSM Language for Navigation Applications on S60 Mobile Phones
- Matsushita Electric Works, User-Interface Designer
- VTT, S-Net/Aether
- EADS Secure Networks, Tetra terminals
- ORGA, SIM toolkit & JavaCard
- F.A.S.T GmbH, Bayerische Landesbank, sd&m AG, Arcus: architectural metamodel
- Honeywell, embedded software architectures
- NASA ASE group, Amphion
- Nokia, Mobile Phone Software
- Pecunet, B2B E-Business: insurance
- Philips, Medical applications (Vampire)
- LexiFi, mlFi, financial contracts, Software
product of the year
- ISA, ISA88 batch control
- DuPont, Activity Modeling Tool
- CWI & Cap Gemini, Financial Products (more
detail)
- NATO, Survey Instrument Creator
- Lucent, FAST, (see book info)
- NASA, Architecture Definition Language, Sharon A. White
- Various languages, Montages
- USAF, A Software Engineering Experiment in Software Component Generation, ICSE'96
Showed DSL better than component reuse
- Khoral, Cantata: Visual programming environment for the Khoros system
- Los Alamos, Bayes Inference Engine (early paper,
implementation, Hanson & Cunningham bibliography)
- NASA JPL, embedded measurement systems, Visual
O-O Programming workshop, OOPSLA'93
- Nokia, TNSDL
- ITU-T, SDL and its various dialects
- Metso Automation, Function Block Language for distributed automation systems
Here are five DSM cases examined in some depth, and two sources containing lots of brief DSM examples and case studies:
- Programming microcontrollers
- An example of how DSM can be applied for embedded systems with strict
resource limitations: a home automation system voice menu using a 8-bit microcontroller
- Mapping of business process models to a workflow engine
- Smartphone apps/Python
- A more in-depth example of a mobile application, written to explain DSM
- Software Defined Radio
- Using DSM to Develop SDR Components & Applications
- Call Processing Language
- Describing and controlling Internet telephony services
- Generating
enterprise applications from models
- Experiences and best practices
- Sample
DSM models
- Screenshots of many different DSM languages and generation results.
- Various DSM examples
- Financial, Lotus Notes, Web app, Embedded/Assembler, Embedded/MIDP
Also in the book Visual Object Oriented Programming, available from Amazon
To contribute, email us at: DSMForum@DSMForum.org.