Applying formal software engineering techniques to smart grids

No abstract is available for this paper.

• Publication year

  2012

• Venue

  2012 First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids)

• Publication date

  2012-06-03

• Fields of study

  Computer Science, Engineering, Environmental Science

• Identifiers
  DOI 10.1109/SE4SG.2012.6225719
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Fulfilling the Vision of Autonomic Computing

  2010cited by this paper
• Demand Response as a Market Resource Under the Smart Grid Paradigm

  2010cited by this paper
• A System for Seamless Abstraction Layers for Model-based Development of Embedded Software

  2010cited by this paper
• The 3+1 SysML View-Model in Model Integrated Mechatronics

  2010cited by this paper
• Domestic energy management methodology for optimizing efficiency in Smart Grids

  2009cited by this paper
• Multi-agent systems in a distributed smart grid: Design and implementation

  2009cited by this paper
• Enabling Multi-View Modeling with SysML Profiles and Model Transformations

  2009cited by this paper
• Refinement-Based Verification of Interactive Real-Time Systems

  2008cited by this paper
• Fundamentals of Power System Economics: Kirschen/Power System Economics

  2005cited by this paper
• Design and verification of mechatronic object-oriented models for industrial control systems

  2003cited by this paper
• Specification and Development of Interactive Systems

  2001cited by this paper
• Formalising UML State Machines for Model Checking

  1999cited by this paper
• Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

  1999cited by this paper
• Archimedes: an approach to architecture-independent modeling for high-level simulation

  1992influential reference
• Fundamentals of power system economics

  1991cited by this paper
• Statecharts: A Visual Formalism for Complex Systems

  1987cited by this paper

• Model-Based Design of Integrated Transportation Systems Using Approximate Dynamic Programming

  2023cites this paper
• Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles

  2020cites this paper
• Formalization of Cost and Utility in Microeconomics

  2020cites this paper
• Formal Reliability Analyses of Power Line Communication Network-based Control in Smart Grid

  2019cites this paper
• Software Architectures for Smart Grid System—A Bibliographical Survey

  2019cites this paper
• A Critical Review of Edge and Fog Computing for Smart Grid Applications

  2019cites this paper
• Calculation Methods and Comparative Analysis of Losses of Active and Electric Energy in Low Voltage Devices

  2019cites this paper
• Calculating Probability of Faultless work of Shop Nets with the Help of Coefficients of Ratio

  2019cites this paper
• A Bibliographical Survey on Software Architectures for Smart Grid System

  2018cites this paper
• Probability estimation for the fault detection and isolation of pmu-based transmission line system of smart grid

  2018cites this paper
• Formal Verification of Protection Functions for Power Distribution Networks

  2018cites this paper
• Abstraction Based Reachability Analysis for Finite Branching Stochastic Hybrid Systems

  2017cites this paper
• A formal specification framework for smart grid components

  2017cites this paper
• The TRANSP-0 framework for integrated transportation and power system design

  2016cites this paper
• Cyber-physical manufacturing system Development: A test-driven design method and exploratory case study

  2016cites this paper
• A Model-Based Approach for the Specification of a Virtual Power Plant Operating in Open Context

  2015cites this paper
• A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems

  2015influential citation
• Integrated transportation and power system modeling

  2015cites this paper
• Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study

  2014cites this paper
• A rigorous approach for smart grid systems engineering using co-simulation

  2014cites this paper
• A formalized method for state machine software implementation in smart microgrid control systems

  2014cites this paper
• A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models

  2014cites this paper
• Towards a constraint based approach for Self-Healing Smart Grids

  2013cites this paper
• Towards a bottom-up development of reference architectures for smart energy systems

  2013cites this paper
• Towards early emergent property understanding: merging behavior space exploration and model-based software engineering

  2012cites this paper