Language Design Cross-fertilizing with other areas. Charles Consel Phoenix Research Group Inria / University of Bordeaux phoenix.inria.fr!

Size: px

Start display at page:

Download "Language Design Cross-fertilizing with other areas. Charles Consel Phoenix Research Group Inria / University of Bordeaux phoenix.inria.fr!"

Claude Glenn
8 years ago
Views:

1 Language Cross-fertilizing with other areas Charles Consel Phoenix Research Group Inria / University of Bordeaux phoenix.inria.fr! Programming Language Mentoring Workshop (PLMW 2012) January 2012

2 Language : Central Activity Usage Areas Telephony Game Home Automation Programming Language related Language Language Definition Program Transformation Types Program Analysis Areas in Core Computer Science Operating System Networking Software Engineering Charles Consel - Phoenix Research Group - Language January

3 Collaborating with Areas in Core Computer Science Domain-Specific Languages Domain analysis DS properties DS abstractions Program analysis Compilation Examples: Networking, Operating systems, Multimedia, etc. Charles Consel - Phoenix Research Group - Language January

4 Collaborating with Areas in Core Computer Science Benefits Interacting with researchers from other CS communities Building a complementary expertise (more job opportunities) Strengthening research hypotheses Validating research results Widening impact of research results Opening new research avenues Finding new research problems Creating more funding opportunities (government, industry) Attracting students Charles Consel - Phoenix Research Group - Language January

5 Collaborating with Usage Areas User programming Domain analysis Domain process Language engineering Evaluation: usability, productivity, verifiability, etc. Tools Examples: Telephony, Assisted living, etc. Charles Consel - Phoenix Research Group - Language January

6 Collaborating with Usage Areas Benefits Interacting with non-computer scientists (multidisciplinary) Widening research hypotheses Widening research avenues Finding new research problems Creating more funding opportunities (government, industry) Attracting students Charles Consel - Phoenix Research Group - Language January

7 The DiaSuite Project (ongoing) diasuite.inria.fr! Usage Areas Avionics Assisted Living Home Automation Programming Language related DiaSpec DS Language design Runtime Verification Generative Programming Areas in Core Computer Science Software Engineering Networking Security Charles Consel - Phoenix Research Group - Language January

8 The DiaSuite Project A design language to specify a software system A paradigm-specific language A compiler to process a specification to guide the implementation verify safety properties ensure conformance Paradigm: Sense/Compute/Control software systems Charles Consel - Phoenix Research Group - Language January

9 Sense/Compute/Control (SCC) Software System Control Compute Environment Sense Charles Consel - Phoenix Research Group - Language January

10 Sense/Compute/Control (SCC) Software System aileron, engine Control direction Compute Sense GPS, flight plan Charles Consel - Phoenix Research Group - Language January

11 The SCC Architectural Style refined information control operators context operators orders actuators actions Control Environment Compute raw data sources sensors Sense Charles Consel - Phoenix Research Group - Language January

12 Compiling a Language abstract concrete Charles Consel - Phoenix Research Group - Language January

13 Compiling a Language Compiler generated Software system abstract defeats guidance and verification concrete Charles Consel - Phoenix Research Group - Language January

14 Compiling a Language Compiler generated Software system abstract defeats guidance and verification concrete mixes design and implementation Compiler generated Software system Charles Consel - Phoenix Research Group - Language January

15 Compiling a Language Compiler generated Software system abstract concrete Compiler generated Software system Compiler generated Software system Charles Consel - Phoenix Research Group - Language January

16 Our Approach language developer s code GPL Compiler programming framework GPL Charles Consel - Phoenix Research Group - Language January

17 Our Approach verification Developer s code Compiler Programming framework Charles Consel - Phoenix Research Group - Language January

18 Our Approach verification Developer s code Compiler Programming framework Charles Consel - Phoenix Research Group - Language January

19 Our Approach verification by construction Developer s code Compiler Programming framework Charles Consel - Phoenix Research Group - Language January

20 Flight Guidance System DiaSpec Taxonomy Navigation MMI Aileron Aileron Controller Target Roll Intermediate Heading IRU action Control { incline(targetroll as Float); device Aileron { action Control; device NavigationMMI { source targetheading as Float; action DisableMode; device IRU { source heading as Float; source position as Coordinates; action Deactivate; Charles Consel - Phoenix Research Group - Language January

21 Flight Guidance System DiaSpec Data Flow Aileron Navigation MMI Aileron Controller Target Roll Intermediate Heading IRU controller AileronController { context TargetRoll; action Control on Aileron; context TargetRoll as Float { source roll from IRU; context IntermediateHeading; context IntermediateHeading as Float { source heading from IRU; source targetheading from NavigationMMI; Charles Consel - Phoenix Research Group - Language January

22 Flight Guidance System DiaSpec Control Flow [ICSE 11] Navigation MMI Aileron Aileron Controller Target Roll Intermediate Heading IRU controller AileronController { context TargetRoll; action Control on Aileron; interaction { when provided TargetRoll; do Control on Aileron; context TargetRoll as Float { source roll from IRU; context IntermediateHeading; interaction { when provided IntermediateHeading; get roll from IRU; always publish; context IntermediateHeading as Float { source heading from IRU; source targetheading from NavigationMMI; interaction { when provided heading from IRU; get targetheading from NavigationMMI; always publish; Charles Consel - Phoenix Research Group - Language January

23 Flight Guidance System DiaSpec Non-Functional Specification [OOPSLA 11, FASE 11] Navigation MMI Aileron Aileron Controller Target Roll Intermediate Heading IRU action Control { incline(targetroll as Float); device Aileron { action Control; device NavigationMMI { source targetheading as Float; action DisableMode; device IRU { source heading as Float [frequency 200ms]; source position as Coordinates; action Deactivate; raises FailureException ; Charles Consel - Phoenix Research Group - Language January

24 Flight Guidance System DiaSpec Non-Functional Specification [OOPSLA 11, FASE 11] Navigation MMI Aileron Aileron Controller Target Roll Intermediate Heading IRU context TargetRoll as Float { source roll from IRU; context IntermediateHeading; interaction { when provided IntermediateHeading; get roll from IRU in 100ms [skipped catch]; always publish; context IntermediateHeading as Float { source heading from IRU; source targetheading from NavigationMMI; interaction { when provided heading from IRU; get targetheading from NavigationMMI in 100ms [mandatory catch]; always publish; Charles Consel - Phoenix Research Group - Language January

25 Flight Guidance System DiaSpec Generative Programming [GPCE 09] context IntermediateHeading as Float { source heading from IRU; source targetheading from NavigationMMI; interaction { when provided heading from IRU; get targetheading from NavigationMMI; always publish; Software er Generation public abstract class AbstractIntermediateHeading { [... ] public abstract Float onheadingfromiru( Float heading, Binding binding, GetContext getcontext);... Implementation public class IntermediateHeading extends AbstractIntermediateHeading { private PIDController public Float onheadingfromiru(float heading, Binding binding, GetContext getcontext) { NavigationMMI mmi = binding.navigationmmi(); Float targetheading = mmi.gettargetheading(); return controller.update(config.period, targetheading, heading.value(), 0); Application Developer Charles Consel - Phoenix Research Group - Language January

26 The DiaSuite Project Funding Avionics Home automation Assisted living Collaborations Avionics engineers Researchers in Cognitive Sc. Caregivers Research problems Software design Software reliability Quality of service, New directions Security User interaction Certification, Charles Consel - Phoenix Research Group - Language January

Design-Driven Software Development: A Programming Language-Inspired Approach Charles Consel University of Bordeaux / Inria

Design-Driven Software Development: A Programming Language-Inspired Approach Charles Consel University of Bordeaux / Inria Joint work with members of the Phoenix Research Group Orchestrating Networked