23 papers:
AdaEurope-2015-PerezGTT #clustering #concept #manycore #safety- A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning (JP, DG, ST, TT), pp. 3–17.
MoDELS-2015-AliY #formal method #standard #testing- Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.
ICSME-2014-AlvesSD #automation #process #quality #standard- Applying ISO/IEC 25010 Standard to Prioritize and Solve Quality Issues of Automatic ETL Processes (TLA, PS, MSD), pp. 573–576.
SEKE-2014-ShankarN #automation #metric #tool support- Automated Metrics Collection for IEC61131-3 Languages from Engineering Tools (MS, AN), pp. 7–12.
CBSE-2013-LednickiCS #analysis #execution #worst-case- Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.
DATE-2012-CanedoF #cyber-physical #execution #industrial #parallel #towards- Towards parallel execution of IEC 61131 industrial cyber-physical systems applications (AC, MAAF), pp. 554–557.
CASE-2011-CatalanSBRC #communication #distributed- Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499 (CC, FS, AB, JMR, JMC), pp. 767–772.
- CASE-2011-Soressi #industrial #safety
- Introduction of safety rule IEC EN62061 in Metal Industry (ES), pp. 195–200.
- CASE-2011-WengerMHHZ #approach #development
- Utilizing IEC 61499 in an MDA control application development approach (MW, MMM, IH, RH, AZ), pp. 495–500.
ICST-2010-Panesar-WalawegeSBC #concept #modelling #safety #standard- Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard (RKPW, MS, LCB, TC), pp. 335–344.
WICSA-ECSA-2009-EmeryH #architecture #framework #using- Every architecture description needs a framework: Expressing architecture frameworks using ISO/IEC 42010 (DEE, RH), pp. 31–40.
- CASE-2009-AllenGT #logic #nondeterminism #verification
- Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.
- ICSM-2009-CorreiaKV #maintenance
- A survey-based study of the mapping of system properties to ISO/IEC 9126 maintainability characteristics (JPC, YK, JV), pp. 61–70.
CSMR-2008-KanellopoulosTHV #clustering #maintenance #source code- Interpretation of Source Code Clusters in Terms of the ISO/IEC-9126 Maintainability Characteristics (YK, CT, IH, JV), pp. 63–72.
RE-2008-RifautD #assessment #framework #quality #requirements #using- Using Goal-Oriented Requirements Engineering for Improving the Quality of ISO/IEC 15504 based Compliance Assessment Frameworks (AR, ED), pp. 33–42.
- DATE-2007-MarianiBC #design #using
- Using an innovative SoC-level FMEA methodology to design in compliance with IEC61508 (RM, GB, FC), pp. 492–497.
SAC-2006-MorimotoSGC #security #specification #standard #verification- A security specification verification technique based on the international standard ISO/IEC 15408 (SM, SS, YG, JC), pp. 1802–1803.
- CASE-2005-CengicALYF #composition #implementation #using
- Implementation of full synchronous composition using IEC 61499 function blocks (GC, KÅ, BL, CY, PMF), pp. 267–272.
- CBSE-2001-PreissW #composition #problem #towards
- Towards a Composition Model Problem based on IEC61850 (OP, AW), p. 18.
- ICSM-2001-Kajko-MattssonGN
- Evaluating the Predelivery Phase of ISO/IEC FDIS 14764 in the Swedish Context (MKM, AGG, MN), pp. 431–440.
- CSMR-1999-PoloPRC #maintenance #named #standard
- MANTEMA: A Complete Rigorous Methodology for Supporting Maintenance Based On The ISO/IEC 12207 Standard (MP, MP, FR, CC), pp. 178–181.
- AdaEurope-1993-Mathis #ada #standard
- Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.
IWPTS-1991-Rayner #standard- Status Report on ISO/IEC 9646 Standardization and Extension (DR), pp. 47–58.
