blank Quick help
blank Maintenance news

Scheduled maintenance

Regular maintenance outages:
between 05.00 and 05.15 hrs CET (Monday to Sunday).

Other outages
Availability
Register Forum

2022.02.11

More...
blank News flashes

News flashes

New version of the European Patent Register - SPC information for Unitary Patents.

2024-03-06

More...
blank Related links

Release notes
European Patent Register Assistant
European Patent Register Resource Book
European Patent Register – pocket guide
FAQ - European Patent Register
FAQ - Register Alert
Federated Register (Flyer)
Global Dossier (Flyer)
Register events
Deep link coverage
Federated Register content
The Patent Information Tour
Fair use charter

Extract from the Register of European Patents

EP About this file: EP2940586

EP2940586 - Method and system for testing control software of a controlled system [Right-click to bookmark this link]
StatusNo opposition filed within time limit
Status updated on  05.01.2024
Database last updated on 14.06.2024
FormerThe patent has been granted
Status updated on  27.01.2023
FormerGrant of patent is intended
Status updated on  19.10.2022
FormerExamination is in progress
Status updated on  29.06.2018
Most recent event   Tooltip24.05.2024Lapse of the patent in a contracting state
New state(s): IT		published on 26.06.2024 [2024/26]
Applicant(s)For all designated states
Hitachi, Ltd.
6-6 Marunouchi 1-chome
Chiyoda-ku
Tokyo 100-8280 / JP
[2023/09]
Former [2015/45]For all designated states
Hitachi, Ltd.
6-6 Marunouchi 1-chome
Chiyoda-ku
Tokyo 100-8280 / JP
Inventor(s)01 / Ishigooka, Tasuku
Otl-Aicher-Str. 48
80807 Munich / DE
02 / Narisawa, Fumio
c/o Hitachi Research Laboratory
1-1, Omika-cho 7-chome
Hitachi-shi
Ibaraki-ken / JP
03 / Sakurai, Kohei
c/o Hitachi Research Laboratory
1-1, Omika-cho 7-chome
Hitachi-shi
Ibaraki-ken / JP
04 / Suri, Neeraj
c/o Technical University of Darmstadt
Hochschulstr. 10
64289 Darmstadt / DE
05 / Saissi, Habib
c/o Technical University of Darmstadt
Hochschulstr. 10
64289 Darmstadt / DE
06 / Piper, Thorsten
c/o Technical University of Darmstadt
Hochschulstr. 10
64289 Darmstadt / DE
07 / Winter, Stefan
c/o Technical University of Darmstadt
Hochschulstr. 10
64289 Darmstadt / DE
 [2015/45]
Representative(s)MERH-IP Matias Erny Reichl Hoffmann Patentanwälte PartG mbB
Paul-Heyse-Strasse 29
80336 München / DE
[2023/09]
Former [2015/45]MERH-IP Matias Erny Reichl Hoffmann
Paul-Heyse-Strasse 29
80336 München / DE
Application number, filing date14166398.929.04.2014
[2015/45]
Filing languageEN
Procedural languageEN
PublicationType: A1 Application with search report 
No.:EP2940586
Date:04.11.2015
Language:EN
[2015/45]
Type: B1 Patent specification 
No.:EP2940586
Date:01.03.2023
Language:EN
[2023/09]
Search report(s)(Supplementary) European search report - dispatched on:EP23.10.2014
ClassificationIPC:G06F11/36, G06F9/44, G05B17/02
[2022/43]
CPC:
G06F11/3688 (EP,US); G06F11/3608 (EP,US); G06F2117/08 (EP,US);
G06F30/20 (EP,US)
Former IPC [2015/45]G06F11/36, G06F9/44, G06F17/50, G05B17/02
Designated contracting statesAL,   AT,   BE,   BG,   CH,   CY,   CZ,   DE,   DK,   EE,   ES,   FI,   FR,   GB,   GR,   HR,   HU,   IE,   IS,   IT,   LI,   LT,   LU,   LV,   MC,   MK,   MT,   NL,   NO,   PL,   PT,   RO,   RS,   SE,   SI,   SK,   SM,   TR [2015/45]
TitleGerman:Verfahren und System zum Testen von Steuerungssoftware eines gesteuerten Systems[2015/45]
English:Method and system for testing control software of a controlled system[2015/45]
French:Procédé et système pour tester un logiciel de commande d'un système contrôlé[2015/45]
Examination procedure16.05.2014Examination requested  [2015/45]
12.06.2015Amendment by applicant (claims and/or description)
28.06.2018Despatch of a communication from the examining division (Time limit: M04)
15.10.2018Reply to a communication from the examining division
24.06.2019Despatch of a communication from the examining division (Time limit: M02)
13.08.2019Reply to a communication from the examining division
20.10.2021Despatch of a communication from the examining division (Time limit: M06)
28.04.2022Reply to a communication from the examining division
19.10.2022Communication of intention to grant the patent
20.01.2023Fee for grant paid
20.01.2023Fee for publishing/printing paid
20.01.2023Receipt of the translation of the claim(s)
Opposition(s)04.12.2023No opposition filed within time limit [2024/06]
Fees paidRenewal fee
30.03.2016Renewal fee patent year 03
02.05.2017Renewal fee patent year 04
30.04.2018Renewal fee patent year 05
30.04.2019Renewal fee patent year 06
31.03.2020Renewal fee patent year 07
30.04.2021Renewal fee patent year 08
22.03.2022Renewal fee patent year 09
Opt-out from the exclusive  Tooltip
competence of the Unified
Patent Court		 See the Register of the Unified Patent Court for opt-out data
Responsibility for the accuracy, completeness or quality of the data displayed under the link provided lies entirely with the Unified Patent Court.
Lapses during opposition  TooltipAT01.03.2023
CZ01.03.2023
DK01.03.2023
EE01.03.2023
ES01.03.2023
FI01.03.2023
HR01.03.2023
IT01.03.2023
LT01.03.2023
LV01.03.2023
MC01.03.2023
NL01.03.2023
PL01.03.2023
RO01.03.2023
RS01.03.2023
SE01.03.2023
SI01.03.2023
SK01.03.2023
SM01.03.2023
IE29.04.2023
LU29.04.2023
BE30.04.2023
CH30.04.2023
LI30.04.2023
FR01.05.2023
GB01.06.2023
NO01.06.2023
GR02.06.2023
IS01.07.2023
PT03.07.2023
[2024/26]
Former [2024/24]AT01.03.2023
CZ01.03.2023
DK01.03.2023
EE01.03.2023
ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
MC01.03.2023
NL01.03.2023
PL01.03.2023
RO01.03.2023
RS01.03.2023
SE01.03.2023
SI01.03.2023
SK01.03.2023
SM01.03.2023
IE29.04.2023
LU29.04.2023
BE30.04.2023
CH30.04.2023
LI30.04.2023
FR01.05.2023
GB01.06.2023
NO01.06.2023
GR02.06.2023
IS01.07.2023
PT03.07.2023
Former [2024/21]AT01.03.2023
CZ01.03.2023
DK01.03.2023
EE01.03.2023
ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
MC01.03.2023
NL01.03.2023
PL01.03.2023
RO01.03.2023
RS01.03.2023
SE01.03.2023
SI01.03.2023
SK01.03.2023
SM01.03.2023
IE29.04.2023
LU29.04.2023
BE30.04.2023
CH30.04.2023
LI30.04.2023
FR01.05.2023
NO01.06.2023
GR02.06.2023
IS01.07.2023
PT03.07.2023
Former [2024/10]AT01.03.2023
CZ01.03.2023
DK01.03.2023
EE01.03.2023
ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
MC01.03.2023
NL01.03.2023
PL01.03.2023
RO01.03.2023
RS01.03.2023
SE01.03.2023
SI01.03.2023
SK01.03.2023
SM01.03.2023
LU29.04.2023
BE30.04.2023
CH30.04.2023
LI30.04.2023
FR01.05.2023
NO01.06.2023
GR02.06.2023
IS01.07.2023
PT03.07.2023
Former [2024/09]AT01.03.2023
CZ01.03.2023
DK01.03.2023
EE01.03.2023
ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
MC01.03.2023
NL01.03.2023
PL01.03.2023
RO01.03.2023
RS01.03.2023
SE01.03.2023
SK01.03.2023
SM01.03.2023
LU29.04.2023
CH30.04.2023
LI30.04.2023
NO01.06.2023
GR02.06.2023
IS01.07.2023
PT03.07.2023
Former [2024/08]AT01.03.2023
CZ01.03.2023
EE01.03.2023
ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
MC01.03.2023
NL01.03.2023
PL01.03.2023
RO01.03.2023
RS01.03.2023
SE01.03.2023
SK01.03.2023
SM01.03.2023
LU29.04.2023
NO01.06.2023
GR02.06.2023
IS01.07.2023
PT03.07.2023
Former [2024/04]AT01.03.2023
CZ01.03.2023
EE01.03.2023
ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
NL01.03.2023
PL01.03.2023
RO01.03.2023
RS01.03.2023
SE01.03.2023
SK01.03.2023
SM01.03.2023
LU29.04.2023
NO01.06.2023
GR02.06.2023
IS01.07.2023
PT03.07.2023
Former [2023/50]AT01.03.2023
CZ01.03.2023
EE01.03.2023
ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
NL01.03.2023
PL01.03.2023
RO01.03.2023
RS01.03.2023
SE01.03.2023
SK01.03.2023
SM01.03.2023
NO01.06.2023
GR02.06.2023
IS01.07.2023
PT03.07.2023
Former [2023/49]AT01.03.2023
CZ01.03.2023
EE01.03.2023
ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
NL01.03.2023
PL01.03.2023
RO01.03.2023
RS01.03.2023
SE01.03.2023
SM01.03.2023
NO01.06.2023
GR02.06.2023
PT03.07.2023
Former [2023/48]AT01.03.2023
EE01.03.2023
ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
NL01.03.2023
PL01.03.2023
RS01.03.2023
SE01.03.2023
SM01.03.2023
NO01.06.2023
GR02.06.2023
PT03.07.2023
Former [2023/46]ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
NL01.03.2023
PL01.03.2023
RS01.03.2023
SE01.03.2023
SM01.03.2023
NO01.06.2023
GR02.06.2023
PT03.07.2023
Former [2023/38]ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
NL01.03.2023
PL01.03.2023
RS01.03.2023
SE01.03.2023
NO01.06.2023
GR02.06.2023
Former [2023/37]ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
RS01.03.2023
SE01.03.2023
NO01.06.2023
GR02.06.2023
Former [2023/36]ES01.03.2023
FI01.03.2023
HR01.03.2023
LT01.03.2023
LV01.03.2023
RS01.03.2023
SE01.03.2023
NO01.06.2023
Former [2023/35]ES01.03.2023
HR01.03.2023
LT01.03.2023
RS01.03.2023
NO01.06.2023
Former [2023/34]ES01.03.2023
LT01.03.2023
RS01.03.2023
Former [2023/33]ES01.03.2023
LT01.03.2023
Documents cited:Search[A]US2013055210  (MURTHY PRAVEEN K [US], et al) [A] 1-15* abstract *;
 [I]  - MANFRED BROY ET AL, "Cross-layer analysis, testing and verification of automotive control software", EMBEDDED SOFTWARE (EMSOFT), 2011 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON, IEEE, 2 PENN PLAZA, SUITE 701 NEW YORK NY 10121-0701 USA, (20111009), doi:10.1145/2038642.2038683, ISBN 978-1-4503-0714-7, pages 263 - 272, XP058004997 [I] 1-15 * the whole document *

DOI:   http://dx.doi.org/10.1145/2038642.2038683
 [I]  - RUPAK MAJUMDAR ET AL, CLSE: Closed-Loop Symbolic Execution, NASA FORMAL METHODS, SPRINGER BERLIN HEIDELBERG, BERLIN, HEIDELBERG, PAGE(S) 356 - 370, (20120403), ISBN 978-3-642-28890-6, XP019175184 [I] 1-15 * the whole document *
 [A]  - CRISTIAN CADAR ET AL, "Symbolic execution for software testing", COMMUNICATIONS OF THE ACM, ASSOCIATION FOR COMPUTING MACHINERY, INC, UNITED STATES, (20130201), vol. 56, no. 2, doi:10.1145/2408776.2408795, ISSN 0001-0782, pages 82 - 90, XP058030308 [A] 1-15 * the whole document *

DOI:   http://dx.doi.org/10.1145/2408776.2408795
by applicantJP2009014406
    - C. CADAR; K. SEN, SYMBOLIC EXECUTION FOR SOFTWARE TESTING: THREE DECADES LATER
The EPO accepts no responsibility for the accuracy of data originating from other authorities; in particular, it does not guarantee that it is complete, up to date or fit for specific purposes.